|
@@ -560,18 +560,6 @@ out_irq:
|
|
|
free_percpu_irq(mct_irqs[MCT_L0_IRQ], &percpu_mct_tick);
|
|
|
}
|
|
|
|
|
|
-void __init mct_init(void __iomem *base, int irq_g0, int irq_l0, int irq_l1)
|
|
|
-{
|
|
|
- mct_irqs[MCT_G0_IRQ] = irq_g0;
|
|
|
- mct_irqs[MCT_L0_IRQ] = irq_l0;
|
|
|
- mct_irqs[MCT_L1_IRQ] = irq_l1;
|
|
|
- mct_int_type = MCT_INT_SPI;
|
|
|
-
|
|
|
- exynos4_timer_resources(NULL, base);
|
|
|
- exynos4_clocksource_init();
|
|
|
- exynos4_clockevent_init();
|
|
|
-}
|
|
|
-
|
|
|
static void __init mct_init_dt(struct device_node *np, unsigned int int_type)
|
|
|
{
|
|
|
u32 nr_irqs, i;
|