#include <linux/kernel.h>
#include <linux/io.h>
+#include <asm/bootinfo.h>
#include <asm/reboot.h>
#include <asm/time.h>
#include <asm/mips_machine.h>
{
adm5120_gpio_init();
- mips_machine_setup(adm5120_mach_type);
+ mips_machine_setup(mips_machtype);
return 0;
}