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