Index: kernel/arch/ia64/include/interrupt.h
===================================================================
--- kernel/arch/ia64/include/interrupt.h	(revision 38e5675bb48aaa4f2c1af529b78aae5fc11735db)
+++ kernel/arch/ia64/include/interrupt.h	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -165,6 +165,4 @@
 extern void trap_virtual_enable_irqs(uint16_t irqmask);
 
-extern void decode_istate(istate_t *);
-
 #endif
 
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 38e5675bb48aaa4f2c1af529b78aae5fc11735db)
+++ kernel/arch/ia64/src/interrupt.c	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -133,5 +133,5 @@
 }
 
-void decode_istate(istate_t *istate)
+void istate_decode(istate_t *istate)
 {
 	printf("ar.bsp=%p\tar.bspstore=%p\n", istate->ar_bsp,