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