Changes in kernel/generic/include/interrupt.h [aa492fe:6dbe7f68] in mainline

File:

• kernel/generic/include/interrupt.h (modified) (1 diff)

kernel/generic/include/interrupt.h

@@ -45 +45 @@
 #include <ddi/irq.h>
 #include <stacktrace.h>
+#include <arch/istate.h>
 
 typedef void (* iroutine_t)(unsigned int, istate_t *);