#include <linux/list.h>
#include <linux/sched.h>
#include <linux/init.h>
+#include <linux/device.h>
#include <linux/serial_8250.h>
#include <asm/mach/arch.h>
static void __init clps7500_timer_init(void)
{
ioctime_init();
-
setup_irq(IRQ_TIMER, &clps7500_timer_irq);
}
-static struct clps7500_timer = {
+static struct sys_timer clps7500_timer = {
.init = clps7500_timer_init,
.offset = ioc_timer_gettimeoffset,
};
},
};
-static int __init clps7500_init(void)
+static void __init clps7500_init(void)
{
- return platform_register_device(&serial_device);
+ platform_device_register(&serial_device);
}
MACHINE_START(CLPS7500, "CL-PS7500")
BOOT_MEM(0x10000000, 0x03000000, 0xe0000000)
MAPIO(clps7500_map_io)
INITIRQ(clps7500_init_irq)
- .timer = &clps7500_timer,
+ .init_machine = clps7500_init,
+ .timer = &clps7500_timer,
MACHINE_END