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