vmx_get_nmi_mask 3457 arch/x86/kvm/vmx/nested.c 	    vmx_get_nmi_mask(vcpu))
vmx_get_nmi_mask 7851 arch/x86/kvm/vmx/vmx.c 	.get_nmi_mask = vmx_get_nmi_mask,
vmx_get_nmi_mask  332 arch/x86/kvm/vmx/vmx.h bool vmx_get_nmi_mask(struct kvm_vcpu *vcpu);