Symbol: get_cpu_ht_id
sys/sys/cpu_topology.h
81
int get_cpu_ht_id(int cpuid);
sys/vm/vm_page.c
1208
ht_id = get_cpu_ht_id(cpuid);