OHARE_NIRQ
pic->pic_numintrs = OHARE_NIRQ;
for (i = 0; i < OHARE_NIRQ; i++)
KASSERT((irq >= 0) && (irq < OHARE_NIRQ));
for (i = 0; i < OHARE_NIRQ; i++) {
uint32_t priority_masks[OHARE_NIRQ]; /* per IRQ */