HelenOS sources

BANK_GPU0          54 kernel/genarch/include/genarch/drivers/bcm2835/irc.h #define BCM2835_TIMER1_IRQ	MAKE_IRQ(BANK_GPU0,  1)
BANK_GPU0          64 kernel/genarch/src/drivers/bcm2835/irc.c 	regs->irq_disable[BANK_GPU0] = 0xffffffff;
BANK_GPU0         113 kernel/genarch/src/drivers/bcm2835/irc.c 		inum = MAKE_IRQ(BANK_GPU0, ffs(regs->irq_pending1) - 1);