Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/arm32/include/machine_func.h	(revision 36a75a2ebea94aea971bd83a0590dd676373a253)
@@ -43,5 +43,5 @@
 
 #include <console/console.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/exception.h>