Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision a043e39e07f7ee6a044d2099a1448556efb5e986)
+++ kernel/arch/amd64/include/interrupt.h	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -112,5 +112,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);
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision a043e39e07f7ee6a044d2099a1448556efb5e986)
+++ kernel/arch/amd64/src/interrupt.c	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -63,5 +63,5 @@
 void (* eoi_function)(void) = NULL;
 
-void decode_istate(istate_t *istate)
+void istate_decode(istate_t *istate)
 {
 	printf("error_word=%#llx\n", istate->error_word);