Changes in kernel/generic/include/interrupt.h [6dbe7f68:aa492fe] 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 *);