DIE_NMI_IPI        47 arch/x86/kernel/crash.c 	if (val != DIE_NMI_IPI)
DIE_NMI_IPI       457 arch/x86/kernel/kgdb.c 	case DIE_NMI_IPI:
DIE_NMI_IPI       444 arch/x86/kernel/traps.c 		if (notify_die(DIE_NMI_IPI, "nmi_ipi", regs, reason, 2, SIGINT)