Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 0cb47cf9e679a005ef1f1554a8df7d386a703a2b)
+++ kernel/arch/mips32/src/mips32.c	(revision c55515574bc591ba52d9f94a2bbf91debeb5943e)
@@ -36,4 +36,5 @@
 #include <arch/cp0.h>
 #include <arch/exception.h>
+#include <arch/debug.h>
 #include <mm/as.h>
 #include <userspace.h>