Index: kernel/arch/mips32/include/drivers/arc.h
===================================================================
--- kernel/arch/mips32/include/drivers/arc.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/arch/mips32/include/drivers/arc.h	(revision f17667abd385620bb289c9d45277c69868aa2113)
@@ -258,7 +258,7 @@
 
 extern int arc_init(void);
-extern int arc_enabled(void);
-void arc_frame_init(void);
-void arc_console(void);
+extern int arc_reboot(void);
+extern int arc_frame_init(void);
+extern int arc_console(void);
 
 #endif