return container_of(evt, struct ixp4xx_timer, clkevt);
 }
 
-static u64 notrace ixp4xx_read_sched_clock(void)
+static unsigned long ixp4xx_read_timer(void)
 {
        return __raw_readl(local_ixp4xx_timer->base + IXP4XX_OSTS_OFFSET);
 }
 
+static u64 notrace ixp4xx_read_sched_clock(void)
+{
+       return ixp4xx_read_timer();
+}
+
 static u64 ixp4xx_clocksource_read(struct clocksource *c)
 {
-       return __raw_readl(local_ixp4xx_timer->base + IXP4XX_OSTS_OFFSET);
+       return ixp4xx_read_timer();
 }
 
 static irqreturn_t ixp4xx_timer_interrupt(int irq, void *dev_id)
 
        sched_clock_register(ixp4xx_read_sched_clock, 32, timer_freq);
 
+#ifdef CONFIG_ARM
+       /* Also use this timer for delays */
+       tmr->delay_timer.read_current_timer = ixp4xx_read_timer;
+       tmr->delay_timer.freq = timer_freq;
+       register_current_timer_delay(&tmr->delay_timer);
+#endif
+
        return 0;
 }