#include <asm/mach/map.h>
extern void clps711x_init_irq(void);
+extern void clps711x_init_time(void);
static struct map_desc ceiva_io_desc[] __initdata = {
/* virtual, physical, length, type */
BOOT_PARAMS(0xc0000100)
MAPIO(ceiva_map_io)
INITIRQ(clps711x_init_irq)
+ INITTIME(clps711x_init_time)
MACHINE_END