#include <asm/mach-types.h>
#include <asm/mach/arch.h>
-extern void clps711x_init_irq(void);
+#include "common.h"
+
extern void edb7211_map_io(void);
static void __init
FIXUP(fixup_edb7211)
MAPIO(edb7211_map_io)
INITIRQ(clps711x_init_irq)
+ .timer = &clps711x_timer,
MACHINE_END