Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision af9dd1ed6f5d79cc098da33ff7131162b1c177a4)
+++ kernel/arch/mips32/src/mips32.c	(revision 92c07dc124d5bbe7fd7af400cc666d419ceef6ab)
@@ -34,4 +34,5 @@
 
 #include <arch.h>
+#include <arch/arch.h>
 #include <typedefs.h>
 #include <errno.h>
@@ -56,4 +57,15 @@
 #define CACHE_EXC  ((char *) 0x80000100)
 
+static void mips32_pre_mm_init(void);
+static void mips32_post_mm_init(void);
+static void mips32_post_smp_init(void);
+
+arch_ops_t mips32_ops = {
+	.pre_mm_init = mips32_pre_mm_init,
+	.post_mm_init = mips32_post_mm_init,
+	.post_smp_init = mips32_post_smp_init,
+};
+
+arch_ops_t *arch_ops = &mips32_ops;
 
 /* Why the linker moves the variable 64K away in assembler
@@ -71,5 +83,5 @@
 
 /** Performs mips32-specific initialization before main_bsp() is called. */
-void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
+void mips32_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {
 	init.cnt = min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
@@ -96,5 +108,5 @@
 }
 
-void arch_pre_mm_init(void)
+void mips32_pre_mm_init(void)
 {
 	/* It is not assumed by default */
@@ -127,5 +139,5 @@
 }
 
-void arch_post_mm_init(void)
+void mips32_post_mm_init(void)
 {
 	interrupt_init();
@@ -135,13 +147,5 @@
 }
 
-void arch_post_cpu_init(void)
-{
-}
-
-void arch_pre_smp_init(void)
-{
-}
-
-void arch_post_smp_init(void)
+void mips32_post_smp_init(void)
 {
 	/* Set platform name. */
Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision af9dd1ed6f5d79cc098da33ff7131162b1c177a4)
+++ kernel/arch/mips32/src/start.S	(revision 92c07dc124d5bbe7fd7af400cc666d419ceef6ab)
@@ -196,5 +196,5 @@
 	
 	/* $a1 contains physical address of bootinfo_t */
-	jal arch_pre_main
+	jal mips32_pre_main
 	addiu $sp, -ABI_STACK_FRAME