Changes in kernel/arch/amd64/include/interrupt.h [22a28a69:214ec25c] in mainline

File:

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

kernel/arch/amd64/include/interrupt.h

@@ -112 +112 @@
 extern void (* eoi_function)(void);
 
+extern void decode_istate(int n, istate_t *istate);
 extern void interrupt_init(void);
 extern void trap_virtual_enable_irqs(uint16_t irqmask);