X86_CR4_VMXE     1056 arch/x86/kvm/vmx.c 	write_cr4(read_cr4() | X86_CR4_VMXE); /* FIXME: not cpu hotplug safe */
X86_CR4_VMXE     1076 arch/x86/kvm/vmx.c 	write_cr4(read_cr4() & ~X86_CR4_VMXE);
X86_CR4_VMXE       44 arch/x86/kvm/x86.c 			  | X86_CR4_OSXMMEXCPT | X86_CR4_VMXE))
X86_CR4_VMXE      341 arch/x86/kvm/x86.c 	if (cr4 & X86_CR4_VMXE) {
X86_CR4_VMXE       45 include/asm-x86/kvm_host.h 	(X86_CR4_VME | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_PGE | X86_CR4_VMXE)
X86_CR4_VMXE       46 include/asm-x86/kvm_host.h #define KVM_PMODE_VM_CR4_ALWAYS_ON (X86_CR4_PAE | X86_CR4_VMXE)
X86_CR4_VMXE       47 include/asm-x86/kvm_host.h #define KVM_RMODE_VM_CR4_ALWAYS_ON (X86_CR4_VME | X86_CR4_PAE | X86_CR4_VMXE)