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