smp_muxed_ipi_message_pass  163 arch/powerpc/include/asm/smp.h extern void smp_muxed_ipi_message_pass(int cpu, int msg);
smp_muxed_ipi_message_pass  326 arch/powerpc/kernel/smp.c 		smp_muxed_ipi_message_pass(cpu, msg);