exynos4_mct_tick_isr 523 drivers/clocksource/exynos_mct.c exynos4_mct_tick_isr, "MCT", exynos4_mct_tick_isr 537 drivers/clocksource/exynos_mct.c exynos4_mct_tick_isr,