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