Symbol: OPENPIC_IPIDR
sys/arch/powerpc/booke/e500_intr.c
1319
openpic_write(cpu, OPENPIC_IPIDR(0), dstmask);
sys/arch/powerpc/booke/e500_intr.c
698
ii->irq_dr = OPENPIC_IPIDR(irq);