Symbol: OPENPIC_IPI
sys/arch/macppc/macppc/pic_u3_ht.c
648
u3_ht_write(u3ht0, OPENPIC_IPI(cpu_index(ci), 1), cpumask);
sys/arch/powerpc/pic/ipi_openpic.c
103
openpic_write(OPENPIC_IPI(cpu_index(ci), 1), cpumask);