Symbol: CPUID_TOP_LVLTYPE
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1393
__SHIFTIN(CPUID_TOP_LVLTYPE_SMT, CPUID_TOP_LVLTYPE);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1402
__SHIFTIN(CPUID_TOP_LVLTYPE_CORE, CPUID_TOP_LVLTYPE);
usr.sbin/cpuctl/arch/i386.c
1829
lvltype = __SHIFTOUT(descs[2], CPUID_TOP_LVLTYPE);