Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 4 of 4) sorted by relevance
134 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
1075 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
1080 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
1408 case MSR_IA32_VMX_CR4_FIXED1: in vmx_set_vmx_msr()1485 case MSR_IA32_VMX_CR4_FIXED1: in vmx_get_vmx_msr()6987 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_cr_fixed()