extern struct clk realview_clcd_clk;
extern struct clcd_board clcd_plat_data;
extern void __iomem *gic_cpu_base_addr;
+#ifdef CONFIG_LOCAL_TIMERS
+extern void __iomem *twd_base_addr;
+extern unsigned int twd_size;
+#endif
extern void realview_leds_event(led_event_t ledevt);
extern void realview_timer_init(unsigned int timer_irq);
#include <asm/io.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,
{
unsigned int timer_irq;
- if (core_tile_eb11mp())
+ if (core_tile_eb11mp()) {
+#ifdef CONFIG_LOCAL_TIMERS
+ twd_base_addr = __io_address(REALVIEW_EB11MP_TWD_BASE);
+ twd_size = REALVIEW_EB11MP_TWD_SIZE;
+#endif
timer_irq = IRQ_EB11MP_TIMER0_1;
- else
+ } else
timer_irq = IRQ_EB_TIMER0_1;
realview_timer_init(timer_irq);