Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision 06737a07ba2ef01fe8fbdb942d826c4ad9952c15)
+++ kernel/generic/include/interrupt.h	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -64,4 +64,6 @@
 extern void irq_initialize_arch(irq_t *);
 
+extern void istate_decode(istate_t *);
+
 #endif