Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 6 of 6) sorted by relevance
594 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
940 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
151 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
1445 case MSR_IA32_VMX_CR4_FIXED1: in vmx_set_vmx_msr()1522 case MSR_IA32_VMX_CR4_FIXED1: in vmx_get_vmx_msr()6613 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_ctls_msrs()
1359 MSR_IA32_VMX_CR4_FIXED1,