EXYNOS4_MCT_G_INT_ENB  258 drivers/clocksource/exynos_mct.c 	exynos4_mct_write(0, EXYNOS4_MCT_G_INT_ENB);
EXYNOS4_MCT_G_INT_ENB  277 drivers/clocksource/exynos_mct.c 	exynos4_mct_write(0x1, EXYNOS4_MCT_G_INT_ENB);