MAX_INTERRUPT_CELLS
uint32_t ip_cell[MAX_INTERRUPT_CELLS];
KASSERT(ic->ic_cells <= MAX_INTERRUPT_CELLS);
uint32_t ip_cell[MAX_INTERRUPT_CELLS];
KASSERT(ic->ic_cells <= MAX_INTERRUPT_CELLS);
KASSERT(ic->ic_cells <= MAX_INTERRUPT_CELLS);
uint32_t ip_cell[MAX_INTERRUPT_CELLS];
KASSERT(ic->ic_cells <= MAX_INTERRUPT_CELLS);