Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 83c597388d81b72286052db6306f7361e42162aa)
+++ kernel/arch/arm32/include/exception.h	(revision 371bd7d157f6602aa0ac4bd2e639fef084cecb89)
@@ -38,5 +38,5 @@
 #define KERN_arm32_EXCEPTION_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/regutils.h>