Changes in kernel/arch/ia32/include/interrupt.h [d99c1d2:22a28a69] in mainline

File:

• kernel/arch/ia32/include/interrupt.h (modified) (1 diff)

kernel/arch/ia32/include/interrupt.h

@@ -113 +113 @@
 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);