Symbol: CPUID_TOP_LVLTYPE_SMT
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1393
__SHIFTIN(CPUID_TOP_LVLTYPE_SMT, CPUID_TOP_LVLTYPE);
usr.sbin/cpuctl/arch/i386.c
1831
case CPUID_TOP_LVLTYPE_SMT: