Symbol: APICID_TO_CPUID
sys/platform/pc64/apic/lapic.c
1075
if (APICID_TO_CPUID(i) == -1)
sys/platform/pc64/apic/lapic.c
1162
APICID_TO_CPUID(i) = -1;
sys/platform/pc64/apic/lapic.c
1216
APICID_TO_CPUID(apic_id) = cpu_id;
sys/platform/pc64/include/smp.h
94
return APICID_TO_CPUID(apicid);
sys/platform/pc64/x86_64/mp_machdep.c
1477
cpu_id = APICID_TO_CPUID(LAPIC_READID);