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