vmx_set_nmi_mask 3506 arch/x86/kvm/vmx/nested.c 		vmx_set_nmi_mask(vcpu, true);
vmx_set_nmi_mask 5110 arch/x86/kvm/vmx/vmx.c 			vmx_set_nmi_mask(vcpu, true);
vmx_set_nmi_mask 6372 arch/x86/kvm/vmx/vmx.c 		vmx_set_nmi_mask(vcpu, false);
vmx_set_nmi_mask 7852 arch/x86/kvm/vmx/vmx.c 	.set_nmi_mask = vmx_set_nmi_mask,
vmx_set_nmi_mask  333 arch/x86/kvm/vmx/vmx.h void vmx_set_nmi_mask(struct kvm_vcpu *vcpu, bool masked);