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 b5553a2369389ebef7f28ae29434069aa9df0fcc)
@@ -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