HelenOS sources

BANK_GPU1          53 kernel/genarch/include/genarch/drivers/bcm2835/irc.h #define BCM2835_UART_IRQ	MAKE_IRQ(BANK_GPU1, 25)
BANK_GPU1          65 kernel/genarch/src/drivers/bcm2835/irc.c 	regs->irq_disable[BANK_GPU1] = 0xffffffff;
BANK_GPU1         115 kernel/genarch/src/drivers/bcm2835/irc.c 		inum = MAKE_IRQ(BANK_GPU1, ffs(regs->irq_pending2) - 1);