HelenOS sources

bcm2835_irc_enable  124 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	bcm2835_irc_enable(raspi.irc, BCM2835_TIMER1_IRQ);
bcm2835_irc_enable  206 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		bcm2835_irc_enable(raspi.irc, BCM2835_UART_IRQ);
bcm2835_irc_enable   78 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern void bcm2835_irc_enable(bcm2835_irc_t *, unsigned);