Index: kernel/arch/mips32/include/exception.h
===================================================================
--- kernel/arch/mips32/include/exception.h	(revision ac11ac7ebb0e25fa0031a251504c104ca9341786)
+++ kernel/arch/mips32/include/exception.h	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -113,6 +113,4 @@
 extern void exception_init(void);
 
-extern void decode_istate(istate_t *);
-
 #endif
 
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision ac11ac7ebb0e25fa0031a251504c104ca9341786)
+++ kernel/arch/mips32/src/exception.c	(revision 22a28a696141d62f28e48ed72d1d255ff519795c)
@@ -72,5 +72,5 @@
 };
 
-void decode_istate(istate_t *istate)
+void istate_decode(istate_t *istate)
 {
 	printf("at=%p\tv0=%p\tv1=%p\n", istate->at, istate->v0, istate->v1);