#include <linux/percpu.h>
#include <linux/clockchips.h>
#include <linux/irq.h>
+#include <linux/io.h>
#include <asm/hardware/arm_twd.h>
#include <asm/hardware/gic.h>
-#include <asm/hardware.h>
-#include <asm/io.h>
+#include <mach/hardware.h>
#include <asm/irq.h>
-#define TWD_BASE(cpu) (__io_address(REALVIEW_EB11MP_TWD_BASE) + \
- ((cpu) * REALVIEW_EB11MP_TWD_SIZE))
-
static DEFINE_PER_CPU(struct clock_event_device, local_clockevent);
/*
#ifdef CONFIG_LOCAL_TIMERS
+#define TWD_BASE(cpu) (twd_base_addr + (cpu) * twd_size)
+
+/* set up by the platform code */
+void __iomem *twd_base_addr;
+unsigned int twd_size;
+
static unsigned long mpcore_timer_rate;
static void local_timer_set_mode(enum clock_event_mode mode,