HelenOS sources

bcm2835_timer_t    72 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	bcm2835_timer_t	*timer;
bcm2835_timer_t   111 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	    sizeof(bcm2835_timer_t), KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
bcm2835_timer_t    66 kernel/genarch/include/genarch/drivers/bcm2835/timer.h extern void bcm2835_timer_start(bcm2835_timer_t *);
bcm2835_timer_t    67 kernel/genarch/include/genarch/drivers/bcm2835/timer.h extern void bcm2835_timer_irq_ack(bcm2835_timer_t *);
bcm2835_timer_t    41 kernel/genarch/src/drivers/bcm2835/timer.c void bcm2835_timer_start(bcm2835_timer_t *timer)
bcm2835_timer_t    50 kernel/genarch/src/drivers/bcm2835/timer.c void bcm2835_timer_irq_ack(bcm2835_timer_t *timer)