Symbol: CPUID_HTT_CORES
sys/arch/x86/x86/cpu_topology.c
117
lp_max = __SHIFTOUT(descs[1], CPUID_HTT_CORES);
usr.sbin/cpuctl/arch/i386.c
1784
lp_max = __SHIFTOUT(descs[1], CPUID_HTT_CORES);
usr.sbin/cpuctl/arch/i386.c
1894
lp_max = __SHIFTOUT(descs[1], CPUID_HTT_CORES);