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 8ccd2ea277c15d5df7f5e27ff901bafaa18515df)
@@ -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