Searched refs:MSR_IA32_VMX_CR4_FIXED0 (Results 1 – 3 of 3) sorted by relevance
592 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488 macro
104 cr4 |= rdmsr(MSR_IA32_VMX_CR4_FIXED0); in prepare_for_vmx_operation()
1036 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488 macro