Symbol: CPUID_0_0B_ECX_LVLNUM
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1423
__SHIFTIN(ecx, CPUID_0_0B_ECX_LVLNUM) |
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1432
__SHIFTIN(ecx, CPUID_0_0B_ECX_LVLNUM) |