HelenOS sources

gta02_timer_irq_handler   79 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_timer_irq_handler(irq_t *irq);
gta02_timer_irq_handler  244 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_timer_irq.handler = gta02_timer_irq_handler;