static inline unsigned long read_timer(void)
 {
-       struct timer_regs *timer = (struct timer_regs *)TIMER_BASE;
+       struct timer_regs *timer_regs = (struct timer_regs *)TIMER_BASE;
 
-       return TIMER_MAX_VAL - readl(&timer->timer3.value);
+       return TIMER_MAX_VAL - readl(&timer_regs->timer3.value);
 }
 
 /*
 
 int timer_init(void)
 {
-       struct timer_regs *timer = (struct timer_regs *)TIMER_BASE;
+       struct timer_regs *timer_regs = (struct timer_regs *)TIMER_BASE;
 
        /* use timer 3 with 508KHz and free running */
-       writel(TIMER_CLKSEL, &timer->timer3.control);
+       writel(TIMER_CLKSEL, &timer_regs->timer3.control);
 
        /* set initial timer value 3 */
-       writel(TIMER_MAX_VAL, &timer->timer3.load);
+       writel(TIMER_MAX_VAL, &timer_regs->timer3.load);
 
        /* Enable the timer */
        writel(TIMER_ENABLE | TIMER_CLKSEL,
-               &timer->timer3.control);
+               &timer_regs->timer3.control);
 
        reset_timer_masked();