Index: arch/mips32/src/fpu_context.c
===================================================================
--- arch/mips32/src/fpu_context.c	(revision 9ebc238661f7f09b9e25d99829f29144df068cbb)
+++ arch/mips32/src/fpu_context.c	(revision 3bb9c99d4ee8a357a69e5173c066c31bb878e538)
@@ -31,4 +31,5 @@
 #include <arch.h>
 #include <arch/cp0.h>
+#include <proc/thread.h>
 
 void fpu_disable(void)