Index: kernel/arch/ppc32/include/exception.h
===================================================================
--- kernel/arch/ppc32/include/exception.h	(revision 5b8016d235197748543b24787bd15cf1ba6864fb)
+++ kernel/arch/ppc32/include/exception.h	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -106,6 +106,4 @@
 }
 
-extern void decode_istate(istate_t *);
-
 #endif
 
Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision 5b8016d235197748543b24787bd15cf1ba6864fb)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -52,5 +52,5 @@
 }
 
-void decode_istate(istate_t *istate)
+void istate_decode(istate_t *istate)
 {
 	printf("r0 =%p\tr1 =%p\tr2 =%p\n", istate->r0, istate->sp, istate->r2);