Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/mips32/src/mips32.c	(revision 64e9cf4cb45f1c9d53cbeffc39f56cd49f6e4861)
@@ -41,4 +41,5 @@
 #include <str.h>
 #include <mem.h>
+#include <preemption.h>
 #include <userspace.h>
 #include <stdbool.h>