Symbol: get_cpu_core_id
sys/sys/cpu_topology.h
82
int get_cpu_core_id(int cpuid);
sys/vm/vm_page.c
1207
core_id = get_cpu_core_id(cpuid);