Symbol: MSR_VMX_BASIC
sys/amd64/vmm/intel/vmx.c
698
basic = rdmsr(MSR_VMX_BASIC);
sys/amd64/vmm/intel/vmx_msr.c
62
return (rdmsr(MSR_VMX_BASIC) & 0xffffffff);
sys/amd64/vmm/intel/vmx_msr.c
88
true_ctls_avail = (rdmsr(MSR_VMX_BASIC) & (1UL << 55)) != 0;
sys/x86/x86/identcpu.c
2503
basic = rdmsr(MSR_VMX_BASIC);