get_logical_CPU_number_within_core
get_logical_CPU_number_within_core(bsr_member));
pcpu_sysctl[i].ht_id = get_logical_CPU_number_within_core(i);
int get_logical_CPU_number_within_core(int cpuid);
int get_logical_CPU_number_within_core(int cpuid);