BCM2836_NIRQPERCPU
.pic_maxsources = BCM2836_NIRQPERCPU,
static const char * const bcm2836mp_sources[BCM2836_NIRQPERCPU] = {
KASSERT(is->is_irq < BCM2836_NIRQPERCPU);
irq %= BCM2836_NIRQPERCPU;