Symbol: ppc_no_send_ipi
sys/arch/macppc/macppc/machdep.c
856
intr_send_ipi_t ppc_no_send_ipi;
sys/arch/macppc/macppc/machdep.c
857
intr_send_ipi_t *intr_send_ipi_func = ppc_no_send_ipi;