s3c24xx_timer_t 83 kernel/arch/arm32/src/mach/gta02/gta02.c static s3c24xx_timer_t *gta02_timer; s3c24xx_timer_t 267 kernel/arch/arm32/src/mach/gta02/gta02.c s3c24xx_timer_t *timer = gta02_timer;