Symbol: MSR_IA32_VMX_BASIC
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3518
basic = rdmsr(MSR_IA32_VMX_BASIC);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3548
basic = rdmsr(MSR_IA32_VMX_BASIC);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3607
msr = rdmsr(MSR_IA32_VMX_BASIC);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
916
msr = rdmsr(MSR_IA32_VMX_BASIC);