Index: kernel/arch/mips32/include/arch/arch.h
===================================================================
--- kernel/arch/mips32/include/arch/arch.h	(revision 9a08e6bddeb3cffb3e0438813da2a3084dcd33c5)
+++ kernel/arch/mips32/include/arch/arch.h	(revision e540424a7c9a950b6376a4c5b7b7ec9a4478c91a)
@@ -63,5 +63,5 @@
 } bootinfo_t;
 
-extern void arch_pre_main(void *entry, bootinfo_t *bootinfo);
+extern void mips32_pre_main(void *entry, bootinfo_t *bootinfo);
 
 #endif