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