Signed-off-by: Mike Frysinger <vapier.adi@gmail.com>
Signed-off-by: Bryan Wu <cooloney@kernel.org>
};
#ifdef CONFIG_TICK_SOURCE_SYSTMR0
-void setup_system_timer0(void)
+void __init setup_system_timer0(void)
{
/* Power down the core timer, just to play safe. */
bfin_write_TCNTL(0);
enable_gptimers(TIMER0bit);
}
#else
-void setup_core_timer(void)
+void __init setup_core_timer(void)
{
u32 tcount;
}
#endif
-static void
+static void __init
time_sched_init(irqreturn_t(*timer_routine) (int, void *))
{
#ifdef CONFIG_TICK_SOURCE_SYSTMR0