Searched refs:MSR_IA32_VMX_CR4_FIXED0 (Results 1 – 5 of 5) sorted by relevance
843 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488 macro
149 cr4 |= rdmsr(MSR_IA32_VMX_CR4_FIXED0); in prepare_for_vmx_operation()
1066 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488 macro
1193 case MSR_IA32_VMX_CR4_FIXED0: in vmx_restore_fixed0_msr()1253 case MSR_IA32_VMX_CR4_FIXED0: in vmx_set_vmx_msr()1330 case MSR_IA32_VMX_CR4_FIXED0: in vmx_get_vmx_msr()
1236 MSR_IA32_VMX_CR4_FIXED0,1266 MSR_IA32_VMX_CR4_FIXED0,