INTC_MAX_SOURCES
KASSERT(is->is_irq < INTC_MAX_SOURCES);
if (irq >= INTC_MAX_SOURCES) {
sc->sc_pic.pic_maxsources = INTC_MAX_SOURCES;