Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
+++ kernel/arch/ia32/include/interrupt.h	(revision e4a4b4413aaef3d49bbd56900f9bc991e990beea)
@@ -113,5 +113,4 @@
 extern void (* eoi_function)(void);
 
-extern void decode_istate(istate_t *istate);
 extern void interrupt_init(void);
 extern void trap_virtual_enable_irqs(uint16_t irqmask);