Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 5 of 5) sorted by relevance
87 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
752 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
1019 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
3700 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_ctls_msrs()3941 case MSR_IA32_VMX_CR4_FIXED1: in vmx_set_vmx_msr()4013 case MSR_IA32_VMX_CR4_FIXED1: in vmx_get_vmx_msr()
1099 MSR_IA32_VMX_CR4_FIXED1,