Symbol: CPUID_0_0B_ECX_LVLTYPE
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1424
__SHIFTIN(CPUID_0_0B_ECX_LVLTYPE_SMT, CPUID_0_0B_ECX_LVLTYPE);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1433
__SHIFTIN(CPUID_0_0B_ECX_LVLTYPE_CORE, CPUID_0_0B_ECX_LVLTYPE);