Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 6 of 6) sorted by relevance
593 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
134 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
1075 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
1097 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
1412 case MSR_IA32_VMX_CR4_FIXED1: in vmx_set_vmx_msr()1489 case MSR_IA32_VMX_CR4_FIXED1: in vmx_get_vmx_msr()7040 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_cr_fixed()
569 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro