HelenOS sources

raspberrypi_timer_irq_start   59 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_timer_irq_start(void);
raspberrypi_timer_irq_start   77 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	raspberrypi_timer_irq_start,
HelenOS homepage, sources at GitHub