KVM_GUEST_CR4_MASK 1432 arch/x86/kvm/vmx.c 	vcpu->arch.cr4 &= KVM_GUEST_CR4_MASK;
KVM_GUEST_CR4_MASK 1433 arch/x86/kvm/vmx.c 	vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & ~KVM_GUEST_CR4_MASK;
KVM_GUEST_CR4_MASK 2001 arch/x86/kvm/vmx.c 	vmcs_writel(CR4_GUEST_HOST_MASK, KVM_GUEST_CR4_MASK);