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