do_smp_send_nmi_ipi  498 arch/powerpc/kernel/smp.c 	do_smp_send_nmi_ipi(cpu, safe);
do_smp_send_nmi_ipi  579 arch/powerpc/kernel/smp.c 			do_smp_send_nmi_ipi(cpu, false);