samsung_timer_init  152 arch/arm/mach-s3c24xx/mach-amlm5900.c 	samsung_timer_init();
samsung_timer_init  406 arch/arm/mach-s3c24xx/mach-anubis.c 	samsung_timer_init();
samsung_timer_init  206 arch/arm/mach-s3c24xx/mach-at2440evb.c 	samsung_timer_init();
samsung_timer_init  559 arch/arm/mach-s3c24xx/mach-bast.c 	samsung_timer_init();
samsung_timer_init  536 arch/arm/mach-s3c24xx/mach-gta02.c 	samsung_timer_init();
samsung_timer_init  678 arch/arm/mach-s3c24xx/mach-h1940.c 	samsung_timer_init();
samsung_timer_init  532 arch/arm/mach-s3c24xx/mach-jive.c 	samsung_timer_init();
samsung_timer_init  565 arch/arm/mach-s3c24xx/mach-mini2440.c 	samsung_timer_init();
samsung_timer_init  551 arch/arm/mach-s3c24xx/mach-n30.c 	samsung_timer_init();
samsung_timer_init  142 arch/arm/mach-s3c24xx/mach-nexcoder.c 	samsung_timer_init();
samsung_timer_init  387 arch/arm/mach-s3c24xx/mach-osiris.c 	samsung_timer_init();
samsung_timer_init  104 arch/arm/mach-s3c24xx/mach-otom.c 	samsung_timer_init();
samsung_timer_init  312 arch/arm/mach-s3c24xx/mach-qt2410.c 	samsung_timer_init();
samsung_timer_init  765 arch/arm/mach-s3c24xx/mach-rx1950.c 	samsung_timer_init();
samsung_timer_init  183 arch/arm/mach-s3c24xx/mach-rx3715.c 	samsung_timer_init();
samsung_timer_init   90 arch/arm/mach-s3c24xx/mach-smdk2410.c 	samsung_timer_init();
samsung_timer_init  108 arch/arm/mach-s3c24xx/mach-smdk2413.c 	samsung_timer_init();
samsung_timer_init  135 arch/arm/mach-s3c24xx/mach-smdk2413.c 	.init_time	= samsung_timer_init,
samsung_timer_init  146 arch/arm/mach-s3c24xx/mach-smdk2413.c 	.init_time	= samsung_timer_init,
samsung_timer_init  218 arch/arm/mach-s3c24xx/mach-smdk2416.c 	samsung_timer_init();
samsung_timer_init  163 arch/arm/mach-s3c24xx/mach-smdk2440.c 	samsung_timer_init();
samsung_timer_init  121 arch/arm/mach-s3c24xx/mach-smdk2443.c 	samsung_timer_init();
samsung_timer_init  128 arch/arm/mach-s3c24xx/mach-tct_hammer.c 	samsung_timer_init();
samsung_timer_init  314 arch/arm/mach-s3c24xx/mach-vr1000.c 	samsung_timer_init();
samsung_timer_init  145 arch/arm/mach-s3c24xx/mach-vstms.c 	samsung_timer_init();
samsung_timer_init  231 arch/arm/mach-s3c64xx/mach-anw6410.c 	.init_time	= samsung_timer_init,
samsung_timer_init  881 arch/arm/mach-s3c64xx/mach-crag6410.c 	.init_time	= samsung_timer_init,
samsung_timer_init  284 arch/arm/mach-s3c64xx/mach-hmt.c 	.init_time	= samsung_timer_init,
samsung_timer_init  365 arch/arm/mach-s3c64xx/mach-mini6410.c 	.init_time	= samsung_timer_init,
samsung_timer_init  101 arch/arm/mach-s3c64xx/mach-ncp.c 	.init_time	= samsung_timer_init,
samsung_timer_init  333 arch/arm/mach-s3c64xx/mach-real6410.c 	.init_time	= samsung_timer_init,
samsung_timer_init  154 arch/arm/mach-s3c64xx/mach-smartq5.c 	.init_time	= samsung_timer_init,
samsung_timer_init  170 arch/arm/mach-s3c64xx/mach-smartq7.c 	.init_time	= samsung_timer_init,
samsung_timer_init   91 arch/arm/mach-s3c64xx/mach-smdk6400.c 	.init_time	= samsung_timer_init,
samsung_timer_init  707 arch/arm/mach-s3c64xx/mach-smdk6410.c 	.init_time	= samsung_timer_init,
samsung_timer_init   24 arch/arm/plat-samsung/include/plat/samsung-time.h extern void __init samsung_timer_init(void);