static void __init exynos4_timer_init(void) { if (soc_is_exynos4210()) mct_int_type = MCT_INT_SPI; else mct_int_type = MCT_INT_PPI; exynos4_timer_resources(); exynos4_clocksource_init(); exynos4_clockevent_init(); }
static void __init exynos4_timer_init(void) { exynos4_timer_resources(); exynos4_clocksource_init(); exynos4_clockevent_init(); }