#include <common.h>
#include <command.h>
#include <netdev.h>
+#include <linux/compiler.h>
#include <asm/mipsregs.h>
#include <asm/reboot.h>
-void __attribute__((weak)) _machine_restart(void)
+void __weak _machine_restart(void)
{
fprintf(stderr, "*** reset failed ***\n");