Searched refs:X86_CR4_VMXE (Results 1 – 6 of 6) sorted by relevance
60 #define X86_CR4_VMXE 0x00002000 /* enable VMX */ macro
432 (X86_CR4_VMXE | X86_CR4_PAE | X86_CR4_MCE))
617 BUG_ON(!(read_cr4() & X86_CR4_VMXE)); in _vmx_cpu_up()720 BUG_ON(!(read_cr4() & X86_CR4_VMXE)); in vmx_cpu_down()
391 !(v->arch.hvm_vcpu.guest_cr[4] & X86_CR4_VMXE) ) in vmx_inst_check_privilege()2137 data = X86_CR4_VMXE; in nvmx_msr_read_intercept()
2455 set_in_cr4(X86_CR4_VMXE); in start_vmx()
956 (vmxe ? X86_CR4_VMXE : 0) | in hvm_cr4_guest_valid_bits()
Completed in 27 milliseconds