Symbol: get_cpuid_from_apicid
sys/platform/pc64/include/smp.h
93
int get_cpuid_from_apicid(int apicid) {
sys/platform/vkernel64/include/smp.h
46
#define get_cpuid_from_apicid(apicid) apicid