Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision 41a7f624830c173ff6e5ed22c0abc99dbc08751a)
+++ kernel/arch/mips32/src/exception.c	(revision ccfbf71a1eb31e0935871e567fd0e7616fcd07d1)
@@ -74,8 +74,7 @@
 void istate_decode(istate_t *istate)
 {
-	printf("epc=%p\tsta=%#010" PRIx32 "\t"
+	printf("epc=%#010" PRIx32 "\tsta=%#010" PRIx32 "\t"
 	    "lo =%#010" PRIx32 "\thi =%#010" PRIx32 "\n",
-	    (void *) istate->epc, istate->status,
-	    istate->lo, istate->hi);
+	    istate->epc, istate->status, istate->lo, istate->hi);
 	
 	printf("a0 =%#010" PRIx32 "\ta1 =%#010" PRIx32 "\t"
@@ -107,7 +106,7 @@
 	    istate->s8, istate->at, istate->kt0, istate->kt1);
 	
-	printf("sp =%p\tra =%p\tgp =%p\n",
-	    (void *) istate->sp, (void *) istate->ra,
-	    (void *) istate->gp);
+	printf("sp =%#010" PRIx32 "\tra =%#010" PRIx32 "\t"
+	    "gp =%#010" PRIx32 "\n",
+	    istate->sp, istate->ra, istate->gp);
 }