Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision 2d03471012eecc600496d9c6cdf98367c17d7784)
+++ kernel/arch/amd64/include/interrupt.h	(revision 7c31d201005bb12c2569505d071530dc62e85d21)
@@ -112,5 +112,5 @@
 extern void (* eoi_function)(void);
 
-extern void decode_istate(int n, istate_t *istate);
+extern void decode_istate(istate_t *istate);
 extern void interrupt_init(void);
 extern void trap_virtual_enable_irqs(uint16_t irqmask);