Symbol: VMX_CPUID_MAX_HYPERVISOR
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1297
if (__predict_false(eax > VMX_CPUID_MAX_HYPERVISOR)) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1494
cpudata->gprs[NVMM_X64_GPR_RAX] = VMX_CPUID_MAX_HYPERVISOR;