Searched refs:X86_CR4_VMXE (Results 1 – 6 of 6) sorted by relevance
68 #define X86_CR4_VMXE 0x00002000 /* enable VMX */ macro
526 (X86_CR4_VMXE | X86_CR4_PAE | X86_CR4_MCE))
680 BUG_ON(!(read_cr4() & X86_CR4_VMXE)); in _vmx_cpu_up()783 BUG_ON(!(read_cr4() & X86_CR4_VMXE)); in vmx_cpu_down()
2079 if ( !(curr->arch.hvm.guest_cr[4] & X86_CR4_VMXE) || in nvmx_handle_vmx_insn()2323 data = X86_CR4_VMXE; in nvmx_msr_read_intercept()
2487 set_in_cr4(X86_CR4_VMXE); in start_vmx()
995 (vmxe ? X86_CR4_VMXE : 0) | in hvm_cr4_guest_valid_bits()
Completed in 26 milliseconds