HelenOS sources

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