HelenOS sources

gta02_timer_irq_start   66 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_timer_irq_start(void);
gta02_timer_irq_start   89 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_timer_irq_start,
HelenOS homepage, sources at GitHub