nmi_ipi_action    199 arch/powerpc/kernel/smp.c 	[PPC_MSG_NMI_IPI] = nmi_ipi_action,
nmi_ipi_action    312 arch/powerpc/kernel/smp.c 			nmi_ipi_action(0, NULL);