Symbol: do_smp_send_nmi_ipi
arch/powerpc/kernel/smp.c
530
do_smp_send_nmi_ipi(cpu, safe);
arch/powerpc/kernel/smp.c
611
do_smp_send_nmi_ipi(cpu, false);