Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 2 of 2) sorted by relevance
433 #define MSR_IA32_VMX_BASIC 0x00000480 macro
1999 if (!nested_vmx_allowed(vcpu) && msr_index >= MSR_IA32_VMX_BASIC && in vmx_get_vmx_msr()2013 case MSR_IA32_VMX_BASIC: in vmx_get_vmx_msr()2475 rdmsr(MSR_IA32_VMX_BASIC, vmx_msr_low, vmx_msr_high); in setup_vmcs_config()