Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/mips32/src/exception.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -38,5 +38,4 @@
 #include <panic.h>
 #include <arch/cp0.h>
-#include <typedefs.h>
 #include <arch.h>
 #include <debug.h>
Index: kernel/arch/mips32/src/smp/dorder.c
===================================================================
--- kernel/arch/mips32/src/smp/dorder.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/mips32/src/smp/dorder.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -33,5 +33,5 @@
  */
 
-#include <typedefs.h>
+#include <stdint.h>
 #include <smp/ipi.h>
 #include <arch/smp/dorder.h>