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);