Symbol: APIC_ID
src/system/boot/platform/bios_ia32/smp.cpp
329
uint8 apicID = apic_read(APIC_ID) >> 24;
src/system/boot/platform/efi/arch/x86/arch_smp.cpp
116
return (apic_read(APIC_ID) & 0xffffffff) >> 24;
src/system/kernel/arch/x86/apic.cpp
70
return (apic_read(APIC_ID) & 0xffffffff) >> 24;