Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision 5b8016d235197748543b24787bd15cf1ba6864fb)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 4fe907b9451912ec457f50c02ea022c9fd7bab92)
@@ -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);