GUEST_CR4        1303 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_CR4, (vmcs_readl(GUEST_CR4) & ~X86_CR4_VME) |
GUEST_CR4        1367 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_CR4, vmcs_readl(GUEST_CR4) | X86_CR4_VME);
GUEST_CR4        1433 arch/x86/kvm/vmx.c 	vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & ~KVM_GUEST_CR4_MASK;
GUEST_CR4        1565 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_CR4, hw_cr4);