extern void clps711x_map_io(void);
extern void clps711x_init_irq(void);
+extern void clps711x_init_time(void);
/*
* The on-chip registers are given a size of 1MB so that a section can
BOOT_PARAMS(0xc0020000)
MAPIO(autcpu12_map_io)
INITIRQ(clps711x_init_irq)
+ INITTIME(clps711x_init_time)
MACHINE_END