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