Symbol: nmi_ipi_action
arch/powerpc/kernel/smp.c
231
[PPC_MSG_NMI_IPI] = nmi_ipi_action,
arch/powerpc/kernel/smp.c
344
nmi_ipi_action(0, NULL);