Index: kernel/arch/arm32/include/interrupt.h
===================================================================
--- kernel/arch/arm32/include/interrupt.h	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/arch/arm32/include/interrupt.h	(revision 6ba20a6b2dda5a2453cdb689201f0b9bf36bece3)
@@ -38,4 +38,5 @@
 
 #include <arch/types.h>
+#include <arch/exception.h>
 
 /** Initial size of exception dispatch table. */