Symbol: ip30_smp_send_ipi_single
arch/mips/sgi-ip30/ip30-smp.c
141
.send_ipi_single = ip30_smp_send_ipi_single,
arch/mips/sgi-ip30/ip30-smp.c
72
ip30_smp_send_ipi_single(i, action);