Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision 8b6930d5d4a9a2fdd17c45b45770dd51a1d956a6)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 682cfceb0fac70ed2ce62b080f6509aca8df9809)
@@ -54,44 +54,44 @@
 void istate_decode(istate_t *istate)
 {
-	printf("r0 =%#0" PRIx32 "\tr1 =%p\tr2 =%#0" PRIx32 "\n",
-	    istate->r0, (void *) istate->sp, istate->r2);
+	printf("r0 =%0#10" PRIx32 "\tr1 =%0#10" PRIx32 "\t"
+	    "r2 =%0#10" PRIx32 "\n", istate->r0, istate->sp, istate->r2);
 	
-	printf("r3 =%#0" PRIx32 "\tr4 =%#0" PRIx32 "\tr5 =%#0" PRIx32 "\n",
-	    istate->r3, istate->r4, istate->r5);
+	printf("r3 =%0#10" PRIx32 "\tr4 =%0#10" PRIx32 "\t"
+	    "r5 =%0#10" PRIx32 "\n", istate->r3, istate->r4, istate->r5);
 	
-	printf("r6 =%#0" PRIx32 "\tr7 =%#0" PRIx32 "\tr8 =%#0" PRIx32 "\n",
-	    istate->r6, istate->r7, istate->r8);
+	printf("r6 =%0#10" PRIx32 "\tr7 =%0#10" PRIx32 "\t"
+	    "r8 =%0#10" PRIx32 "\n", istate->r6, istate->r7, istate->r8);
 	
-	printf("r9 =%#0" PRIx32 "\tr10=%#0" PRIx32 "\tr11=%#0" PRIx32 "\n",
-	    istate->r9, istate->r10, istate->r11);
+	printf("r9 =%0#10" PRIx32 "\tr10=%0#10" PRIx32 "\t"
+	    "r11=%0#10" PRIx32 "\n", istate->r9, istate->r10, istate->r11);
 	
-	printf("r12=%#0" PRIx32 "\tr13=%#0" PRIx32 "\tr14=%#0" PRIx32 "\n",
-	    istate->r12, istate->r13, istate->r14);
+	printf("r12=%0#10" PRIx32 "\tr13=%0#10" PRIx32 "\t"
+	    "r14=%0#10" PRIx32 "\n", istate->r12, istate->r13, istate->r14);
 	
-	printf("r15=%#0" PRIx32 "\tr16=%#0" PRIx32 "\tr17=%#0" PRIx32 "\n",
-	    istate->r15, istate->r16, istate->r17);
+	printf("r15=%0#10" PRIx32 "\tr16=%0#10" PRIx32 "\t"
+	    "r17=%0#10" PRIx32 "\n", istate->r15, istate->r16, istate->r17);
 	
-	printf("r18=%#0" PRIx32 "\tr19=%#0" PRIx32 "\tr20=%#0" PRIx32 "\n",
-	    istate->r18, istate->r19, istate->r20);
+	printf("r18=%0#10" PRIx32 "\tr19=%0#10" PRIx32 "\t"
+	    "r20=%0#10" PRIx32 "\n", istate->r18, istate->r19, istate->r20);
 	
-	printf("r21=%#0" PRIx32 "\tr22=%#0" PRIx32 "\tr23=%#0" PRIx32 "\n",
-	    istate->r21, istate->r22, istate->r23);
+	printf("r21=%0#10" PRIx32 "\tr22=%0#10" PRIx32 "\t"
+	    "r23=%0#10" PRIx32 "\n", istate->r21, istate->r22, istate->r23);
 	
-	printf("r24=%#0" PRIx32 "\tr25=%#0" PRIx32 "\tr26=%#0" PRIx32 "\n",
-	    istate->r24, istate->r25, istate->r26);
+	printf("r24=%0#10" PRIx32 "\tr25=%0#10" PRIx32 "\t"
+	    "r26=%0#10" PRIx32 "\n", istate->r24, istate->r25, istate->r26);
 	
-	printf("r27=%#0" PRIx32 "\tr28=%#0" PRIx32 "\tr29=%#0" PRIx32 "\n",
-	    istate->r27, istate->r28, istate->r29);
+	printf("r27=%0#10" PRIx32 "\tr28=%0#10" PRIx32 "\t"
+	    "r29=%0#10" PRIx32 "\n", istate->r27, istate->r28, istate->r29);
 	
-	printf("r30=%#0" PRIx32 "\tr31=%#0" PRIx32 "\n",
+	printf("r30=%0#10" PRIx32 "\tr31=%0#10" PRIx32 "\n",
 	    istate->r30, istate->r31);
 	
-	printf("cr =%#0" PRIx32 "\tpc =%p\tlr =%p\n",
-	    istate->cr, (void *) istate->pc, (void *) istate->lr);
+	printf("cr =%0#10" PRIx32 "\tpc =%0#10" PRIx32 "\t"
+	    "lr =%0#10" PRIx32 "\n", istate->cr, istate->pc, istate->lr);
 	
-	printf("ctr=%#0" PRIx32 "\txer=%#0" PRIx32 "\tdar=%#0" PRIx32 "\n",
-	    istate->ctr, istate->xer, istate->dar);
+	printf("ctr=%0#10" PRIx32 "\txer=%0#10" PRIx32 "\t"
+	    "dar=%0#10" PRIx32 "\n", istate->ctr, istate->xer, istate->dar);
 	
-	printf("srr1=%p\n", (void *) istate->srr1);
+	printf("srr1=%0#10" PRIx32 "\n", istate->srr1);
 }