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