HelenOS sources

gta02_timer_irq_claim   78 kernel/arch/arm32/src/mach/gta02/gta02.c static irq_ownership_t gta02_timer_irq_claim(irq_t *irq);
gta02_timer_irq_claim  243 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_timer_irq.claim = gta02_timer_irq_claim;