vmx_set_cr4      2400 arch/x86/kvm/vmx/nested.c 	vmx_set_cr4(vcpu, vmcs12->guest_cr4);
vmx_set_cr4      3827 arch/x86/kvm/vmx/nested.c 	vmx_set_cr4(vcpu, vmcs12->host_cr4);
vmx_set_cr4      3993 arch/x86/kvm/vmx/nested.c 	vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW));
vmx_set_cr4      2895 arch/x86/kvm/vmx/vmx.c 		vmx_set_cr4(vcpu, kvm_read_cr4(vcpu));
vmx_set_cr4      2901 arch/x86/kvm/vmx/vmx.c 		vmx_set_cr4(vcpu, kvm_read_cr4(vcpu));
vmx_set_cr4      4343 arch/x86/kvm/vmx/vmx.c 	vmx_set_cr4(vcpu, 0);
vmx_set_cr4      7822 arch/x86/kvm/vmx/vmx.c 	.set_cr4 = vmx_set_cr4,
vmx_set_cr4       324 arch/x86/kvm/vmx/vmx.h int vmx_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);