Symbol: ipi_send
sys/powerpc/powerpc/mp_machdep.c
363
ipi_send(pc, ipi);
sys/powerpc/powerpc/mp_machdep.c
372
ipi_send(cpuid_to_pcpu[cpu], ipi);
sys/powerpc/powerpc/mp_machdep.c
383
ipi_send(pc, ipi);