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