Index: kernel/arch/mips32/src/smp/dorder.c
===================================================================
--- kernel/arch/mips32/src/smp/dorder.c	(revision fc89e32010e50e34041343fec03821fd9d0b07df)
+++ kernel/arch/mips32/src/smp/dorder.c	(revision aaae6d99cfb1bf857abad28a4671e0c97ea8eb06)
@@ -33,5 +33,5 @@
  */
 
-#include <typedefs.h>
+#include <stdint.h>
 #include <smp/ipi.h>
 #include <arch/smp/dorder.h>