#include <linux/mm.h>
#include <linux/init.h>
#include <linux/config.h>
+#include <linux/init.h>
#include <linux/major.h>
#include <linux/fs.h>
#include <linux/device.h>
#ifdef CONFIG_ARCH_IQ80331
extern void iop331_init_irq(void);
-extern struct sys_timer iop331_timer;
+extern void iop331_init_time(void);
extern void iq80331_map_io(void);
#endif
//BOOT_MEM(PHYS_OFFSET, IQ80331_UART0_VIRT, IQ80331_UART0_PHYS)
MAPIO(iq80331_map_io)
INITIRQ(iop331_init_irq)
- .timer = &iop331_timer,
+ INITTIME(iop331_init_time)
BOOT_PARAMS(0x0100)
MACHINE_END
#else