Symbol: IPI_VECTOR_DDB
sys/arch/macppc/dev/openpic.c
285
x = IPI_VECTOR_DDB;
sys/arch/macppc/dev/openpic.c
640
if (irq == IPI_VECTOR_NOP || irq == IPI_VECTOR_DDB) {
sys/arch/macppc/dev/openpic.c
643
if (irq == IPI_VECTOR_DDB)