return IRQ_HANDLED;
 }
 
-static inline void timer_shutdown(struct clock_event_device *evt)
+static inline void evt_timer_shutdown(struct clock_event_device *evt)
 {
        writel(0, common_clkevt->ctrl);
 }
 
 static int sp804_shutdown(struct clock_event_device *evt)
 {
-       timer_shutdown(evt);
+       evt_timer_shutdown(evt);
        return 0;
 }
 
        unsigned long ctrl = TIMER_CTRL_32BIT | TIMER_CTRL_IE |
                             TIMER_CTRL_PERIODIC | TIMER_CTRL_ENABLE;
 
-       timer_shutdown(evt);
+       evt_timer_shutdown(evt);
        writel(common_clkevt->reload, common_clkevt->load);
        writel(ctrl, common_clkevt->ctrl);
        return 0;