Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision c89ae2562f477e91a8041f1bdff7ef9c6bec68b8)
+++ kernel/arch/mips32/src/mips32.c	(revision 694ca3d6a8a1e66e61249ea01e128d7d66908dae)
@@ -40,5 +40,5 @@
 #include <macros.h>
 #include <str.h>
-#include <mem.h>
+#include <memw.h>
 #include <preemption.h>
 #include <userspace.h>