#include <asm/hardware/arm_timer.h>
-#include <mach/platform.h>
-
#include <plat/timer-sp.h>
/*
- * How long is the timer interval?
+ * These timers are currently always setup to be clocked at 1MHz.
*/
-#define TIMER_RELOAD (TICKS_PER_uSEC * mSEC_10)
-
+#define TIMER_FREQ_KHZ (1000)
+#define TIMER_RELOAD (TIMER_FREQ_KHZ * 1000 / HZ)
static void __iomem *clksrc_base;
writel(TIMER_CTRL_32BIT | TIMER_CTRL_ENABLE | TIMER_CTRL_PERIODIC,
clksrc_base + TIMER_CTRL);
- cs->mult = clocksource_khz2mult(1000, cs->shift);
+ cs->mult = clocksource_khz2mult(TIMER_FREQ_KHZ, cs->shift);
clocksource_register(cs);
}
clkevt_base = base;
evt->irq = timer_irq;
- evt->mult = div_sc(1000000, NSEC_PER_SEC, evt->shift);
+ evt->mult = div_sc(TIMER_FREQ_KHZ, NSEC_PER_MSEC, evt->shift);
evt->max_delta_ns = clockevent_delta2ns(0xffffffff, evt);
evt->min_delta_ns = clockevent_delta2ns(0xf, evt);