HelenOS sources

MAKE_IRQ           53 kernel/genarch/include/genarch/drivers/bcm2835/irc.h #define BCM2835_UART_IRQ	MAKE_IRQ(BANK_GPU1, 25)
MAKE_IRQ           54 kernel/genarch/include/genarch/drivers/bcm2835/irc.h #define BCM2835_TIMER1_IRQ	MAKE_IRQ(BANK_GPU0,  1)
MAKE_IRQ          108 kernel/genarch/src/drivers/bcm2835/irc.c 		inum = MAKE_IRQ(BANK_ARM, ffs(pending & IRQ_PEND_ARM_M) - 1);
MAKE_IRQ          113 kernel/genarch/src/drivers/bcm2835/irc.c 		inum = MAKE_IRQ(BANK_GPU0, ffs(regs->irq_pending1) - 1);
MAKE_IRQ          115 kernel/genarch/src/drivers/bcm2835/irc.c 		inum = MAKE_IRQ(BANK_GPU1, ffs(regs->irq_pending2) - 1);