Symbol: ppc_send_ipi
sys/arch/macppc/macppc/machdep.c
820
ppc_send_ipi(ci, PPC_IPI_NOP);
sys/arch/powerpc/ddb/db_interface.c
129
ppc_send_ipi(&cpu_info[i], PPC_IPI_DDB);
sys/arch/powerpc/ddb/db_interface.c
327
ppc_send_ipi(&cpu_info[cpu], PPC_IPI_DDB);
sys/arch/powerpc/include/intr.h
164
void ppc_send_ipi(struct cpu_info *, int);