HelenOS sources

bcm2835_timer_irq_ack   95 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	bcm2835_timer_irq_ack(raspi.timer);
bcm2835_timer_irq_ack   67 kernel/genarch/include/genarch/drivers/bcm2835/timer.h extern void bcm2835_timer_irq_ack(bcm2835_timer_t *);