HelenOS sources

S3C24XX_INT_TIMER0   63 kernel/arch/arm32/src/mach/gta02/gta02.c #define GTA02_TIMER_IRQ		S3C24XX_INT_TIMER0
S3C24XX_INT_TIMER0  299 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_src_enable(&gta02_irqc, S3C24XX_INT_TIMER0);