HelenOS sources

BCM2835_IRQ_COUNT  212 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	return BCM2835_IRQ_COUNT;
BCM2835_IRQ_COUNT  129 kernel/genarch/src/drivers/bcm2835/irc.c 	assert(inum < BCM2835_IRQ_COUNT);
BCM2835_IRQ_COUNT  135 kernel/genarch/src/drivers/bcm2835/irc.c 	assert(inum < BCM2835_IRQ_COUNT);