*/
 int cleanup_before_linux(void)
 {
-#ifdef CONFIG_MMU
-       unsigned long i;
-#endif
-
        disable_interrupts();
 
 #ifdef CONFIG_MMU
 
 void flush_cache(unsigned long addr, unsigned long size)
 {
-       dcache_flush_range(addr , addr + size);
-       icache_inval_range(addr , addr + size);
+       dcache_flush_range(addr, addr + size);
+       icache_inval_range(addr, addr + size);
 }
 
 void icache_enable(void)
 
 
 int timer_init(void)
 {
-       static struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
+       struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
        unsigned int cr;
 
        debug("%s()\n", __func__);
  */
 void reset_timer_masked(void)
 {
-       static struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
+       struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
 
        /* capure current decrementer value time */
 #ifdef CONFIG_FTTMR010_EXT_CLK
  */
 ulong get_timer_masked(void)
 {
-       static struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
+       struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
 
        /* current tick value */
 #ifdef CONFIG_FTTMR010_EXT_CLK
 /* delay x useconds AND preserve advance timestamp value */
 void __udelay(unsigned long usec)
 {
-       static struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
+       struct fttmr010 *tmr = (struct fttmr010 *)CONFIG_FTTMR010_BASE;
 
 #ifdef CONFIG_FTTMR010_EXT_CLK
        long tmo = usec * (TIMER_CLOCK / 1000) / 1000;