BCM2835_INT_BASE
#define BCM2835_INT_GPU0BASE (BCM2835_INT_BASE + 0)
#define BCM2835_INT_GPU1BASE (BCM2835_INT_BASE + 32)
#define BCM2835_INT_BASICBASE (BCM2835_INT_BASE + 64)
BCM2835_INT_BASICBASE - BCM2835_INT_BASE, armirq);
BCM2835_INT_GPU0BASE - BCM2835_INT_BASE, pending1);
BCM2835_INT_GPU1BASE - BCM2835_INT_BASE, pending2);
irqidx = irq - BCM2835_INT_BASE;
KASSERT(n == (firq->intr_irq - BCM2835_INT_BASE));