HelenOS sources

bcm2835_irc_inum_get  155 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	const unsigned inum = bcm2835_irc_inum_get(raspi.irc);
bcm2835_irc_inum_get   77 kernel/genarch/include/genarch/drivers/bcm2835/irc.h extern unsigned bcm2835_irc_inum_get(bcm2835_irc_t *);