CBNINTR_MAX
ASSERT(idx < CBNINTR_MAX);
ASSERT(idx < CBNINTR_MAX);
ASSERT(idx < CBNINTR_MAX);
ASSERT(idx < CBNINTR_MAX);
ASSERT(idx < CBNINTR_MAX);
ASSERT(idx < CBNINTR_MAX);
uint32_t pcb_inos[CBNINTR_MAX]; /* subset of pcmu_p->pcmu_inos array */
uint32_t cb_inos[CBNINTR_MAX]; /* subset of pci_p->pci_inos array */