@@ -82,32 +82,9 @@ static void picoxcell_wdt_restart(char mode, const char *cmd)
}
}
-static const struct of_device_id picochip_rtc_ids[] __initconst = {
- { .compatible = "picochip,pc3x2-rtc" },
- { /* Sentinel */ },
-};
-
-static void __iomem *sched_io_base;
-
-static u32 read_sched_clock(void)
-{
- return __raw_readl(sched_io_base);
-}
-
static void __init timer_init(void)
{
- u32 rate;
-
- dw_apb_timer_init(0);
-
- sched_timer = of_find_matching_node(timer, osctimer_ids);
- if (!sched_timer)
- panic("No suitable timer for scheduler clock\n");
-
- timer_get_base_and_rate(sched_timer, &sched_io_base, &rate);
- of_node_put(sched_timer);
-
- setup_sched_clock(read_sched_clock, 32, rate);
+ dw_apb_timer_init(1);
}
DT_MACHINE_START(PICOXCELL, "Picochip picoXcell")