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