Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 3 of 3) sorted by relevance
593 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro
103 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
1037 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489 macro