taglinefilesource code
GET_APIC_ID423arch/i386/kernel/smp.cint cpuid=GET_APIC_ID(apic_read(APIC_ID));
GET_APIC_ID228include/asm-i386/smp.hreturn GET_APIC_ID(apic_read(APIC_ID));