Searched refs:MSR_IA32_VMX_CR4_FIXED1 (Results 1 – 2 of 2) sorted by relevance
149 cr4 &= rdmsr(MSR_IA32_VMX_CR4_FIXED1); in prepare_for_vmx_operation()
523 pub const MSR_IA32_VMX_CR4_FIXED1: ::std::os::raw::c_uint = 0x00000489; constant