|
@@ -600,6 +600,7 @@ static OMAP_SYS_32K_TIMER_INIT(4, 1, "timer_32k_ck", "ti,timer-alwon",
|
|
|
#endif
|
|
|
|
|
|
#ifdef CONFIG_ARCH_OMAP4
|
|
|
+#ifdef CONFIG_HAVE_ARM_TWD
|
|
|
static DEFINE_TWD_LOCAL_TIMER(twd_local_timer, OMAP44XX_LOCAL_TWD_BASE, 29);
|
|
|
void __init omap4_local_timer_init(void)
|
|
|
{
|
|
@@ -618,6 +619,12 @@ void __init omap4_local_timer_init(void)
|
|
|
pr_err("twd_local_timer_register failed %d\n", err);
|
|
|
}
|
|
|
}
|
|
|
+#else
|
|
|
+void __init omap4_local_timer_init(void)
|
|
|
+{
|
|
|
+ omap4_sync32k_timer_init();
|
|
|
+}
|
|
|
+#endif /* CONFIG_HAVE_ARM_TWD */
|
|
|
#endif /* CONFIG_ARCH_OMAP4 */
|
|
|
|
|
|
#ifdef CONFIG_SOC_OMAP5
|