set_cr4_guest_host_mask 2292 arch/x86/kvm/vmx/nested.c 	set_cr4_guest_host_mask(vmx);
set_cr4_guest_host_mask 4233 arch/x86/kvm/vmx/vmx.c 	set_cr4_guest_host_mask(vmx);
set_cr4_guest_host_mask  325 arch/x86/kvm/vmx/vmx.h void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);