smp_muxed_ipi_set_message  164 arch/powerpc/include/asm/smp.h extern void smp_muxed_ipi_set_message(int cpu, int msg);
smp_muxed_ipi_set_message  260 arch/powerpc/kernel/smp.c 	smp_muxed_ipi_set_message(cpu, msg);
smp_muxed_ipi_set_message   60 arch/powerpc/kvm/book3s_hv_rm_xics.c 	smp_muxed_ipi_set_message(hcpu, PPC_MSG_RM_HOST_ACTION);