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