Symbol: OPENPIC_IPI_VECTOR
sys/arch/macppc/dev/openpic.c
283
openpic_write(OPENPIC_IPI_VECTOR(0), x);
sys/arch/macppc/dev/openpic.c
287
openpic_write(OPENPIC_IPI_VECTOR(1), x);