Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision 88205440caa3e827197cd095139acca02b989d5e)
+++ kernel/generic/include/interrupt.h	(revision 3ab2d1e563d9fbe43bec58eb8d4ade0584da1e7d)
@@ -45,4 +45,5 @@
 #include <ddi/irq.h>
 #include <stacktrace.h>
+#include <arch/istate.h>
 
 typedef void (* iroutine_t)(unsigned int, istate_t *);