Symbol: exynos4_read_count_32
drivers/clocksource/exynos_mct.c
205
return exynos4_read_count_32();
drivers/clocksource/exynos_mct.c
224
return exynos4_read_count_32();
drivers/clocksource/exynos_mct.c
234
return exynos4_read_count_32();