HelenOS sources

IRQ_TO_BANK       130 kernel/genarch/src/drivers/bcm2835/irc.c 	regs->irq_enable[IRQ_TO_BANK(inum)] |= (1 << IRQ_TO_NUM(inum));
IRQ_TO_BANK       136 kernel/genarch/src/drivers/bcm2835/irc.c 	regs->irq_disable[IRQ_TO_BANK(inum)] |= (1 << IRQ_TO_NUM(inum));
HelenOS homepage, sources at GitHub