Symbol: get_core_number_within_chip
sys/platform/pc64/x86_64/mp_machdep.c
2005
get_core_number_within_chip(int cpuid)
sys/platform/vkernel64/x86_64/mp.c
502
get_core_number_within_chip(int cpuid)