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