exynos4_read_count_32  199 drivers/clocksource/exynos_mct.c 	return exynos4_read_count_32();
exynos4_read_count_32  218 drivers/clocksource/exynos_mct.c 	return exynos4_read_count_32();
exynos4_read_count_32  228 drivers/clocksource/exynos_mct.c 	return exynos4_read_count_32();