Index: kernel/arch/abs32le/include/interrupt.h
===================================================================
--- kernel/arch/abs32le/include/interrupt.h	(revision e3038b41e1f6e1ef905bbc80916933e18d3e3008)
+++ kernel/arch/abs32le/include/interrupt.h	(revision e837f307dba60fa604eac536dfa534653ae37c72)
@@ -37,4 +37,5 @@
 
 #include <typedefs.h>
+#include <verify.h>
 
 #define IVT_ITEMS  0