Index: c/src/lib/libcpu/powerpc/mpc5xx/vectors/vectors_init.c
===================================================================
--- c/src/lib/libcpu/powerpc/mpc5xx/vectors/vectors_init.c	(revision 7acdb10cfed0e40bf63acdee15b261ef969f8690)
+++ c/src/lib/libcpu/powerpc/mpc5xx/vectors/vectors_init.c	(revision f2b5d6729730489a342c48c75716d19d3bd0b9a8)
@@ -36,42 +36,42 @@
   printk("exception handler called for exception %" PRIu32 "\n",
          excPtr->_EXC_number);
-  printk("\t Next PC or Address of fault = %" PRIx32 "\n", excPtr->EXC_SRR0);
-  printk("\t Saved MSR = %" PRIx32 "\n", excPtr->EXC_SRR1);
-  printk("\t R0 = %" PRIx32 "\n", excPtr->GPR0);
-  printk("\t R1 = %" PRIx32 "\n", excPtr->GPR1);
-  printk("\t R2 = %" PRIx32 "\n", excPtr->GPR2);
-  printk("\t R3 = %" PRIx32 "\n", excPtr->GPR3);
-  printk("\t R4 = %" PRIx32 "\n", excPtr->GPR4);
-  printk("\t R5 = %" PRIx32 "\n", excPtr->GPR5);
-  printk("\t R6 = %" PRIx32 "\n", excPtr->GPR6);
-  printk("\t R7 = %" PRIx32 "\n", excPtr->GPR7);
-  printk("\t R8 = %" PRIx32 "\n", excPtr->GPR8);
-  printk("\t R9 = %" PRIx32 "\n", excPtr->GPR9);
-  printk("\t R10 = %" PRIx32 "\n", excPtr->GPR10);
-  printk("\t R11 = %" PRIx32 "\n", excPtr->GPR11);
-  printk("\t R12 = %" PRIx32 "\n", excPtr->GPR12);
-  printk("\t R13 = %" PRIx32 "\n", excPtr->GPR13);
-  printk("\t R14 = %" PRIx32 "\n", excPtr->GPR14);
-  printk("\t R15 = %" PRIx32 "\n", excPtr->GPR15);
-  printk("\t R16 = %" PRIx32 "\n", excPtr->GPR16);
-  printk("\t R17 = %" PRIx32 "\n", excPtr->GPR17);
-  printk("\t R18 = %" PRIx32 "\n", excPtr->GPR18);
-  printk("\t R19 = %" PRIx32 "\n", excPtr->GPR19);
-  printk("\t R20 = %" PRIx32 "\n", excPtr->GPR20);
-  printk("\t R21 = %" PRIx32 "\n", excPtr->GPR21);
-  printk("\t R22 = %" PRIx32 "\n", excPtr->GPR22);
-  printk("\t R23 = %" PRIx32 "\n", excPtr->GPR23);
-  printk("\t R24 = %" PRIx32 "\n", excPtr->GPR24);
-  printk("\t R25 = %" PRIx32 "\n", excPtr->GPR25);
-  printk("\t R26 = %" PRIx32 "\n", excPtr->GPR26);
-  printk("\t R27 = %" PRIx32 "\n", excPtr->GPR27);
-  printk("\t R28 = %" PRIx32 "\n", excPtr->GPR28);
-  printk("\t R29 = %" PRIx32 "\n", excPtr->GPR29);
-  printk("\t R30 = %" PRIx32 "\n", excPtr->GPR30);
-  printk("\t R31 = %" PRIx32 "\n", excPtr->GPR31);
+  printk("\t Next PC or Address of fault = %" PRIxPTR "\n", excPtr->EXC_SRR0);
+  printk("\t Saved MSR = %" PRIxPTR "\n", excPtr->EXC_SRR1);
+  printk("\t R0 = %" PRIxPTR "\n", excPtr->GPR0);
+  printk("\t R1 = %" PRIxPTR "\n", excPtr->GPR1);
+  printk("\t R2 = %" PRIxPTR "\n", excPtr->GPR2);
+  printk("\t R3 = %" PRIxPTR "\n", excPtr->GPR3);
+  printk("\t R4 = %" PRIxPTR "\n", excPtr->GPR4);
+  printk("\t R5 = %" PRIxPTR "\n", excPtr->GPR5);
+  printk("\t R6 = %" PRIxPTR "\n", excPtr->GPR6);
+  printk("\t R7 = %" PRIxPTR "\n", excPtr->GPR7);
+  printk("\t R8 = %" PRIxPTR "\n", excPtr->GPR8);
+  printk("\t R9 = %" PRIxPTR "\n", excPtr->GPR9);
+  printk("\t R10 = %" PRIxPTR "\n", excPtr->GPR10);
+  printk("\t R11 = %" PRIxPTR "\n", excPtr->GPR11);
+  printk("\t R12 = %" PRIxPTR "\n", excPtr->GPR12);
+  printk("\t R13 = %" PRIxPTR "\n", excPtr->GPR13);
+  printk("\t R14 = %" PRIxPTR "\n", excPtr->GPR14);
+  printk("\t R15 = %" PRIxPTR "\n", excPtr->GPR15);
+  printk("\t R16 = %" PRIxPTR "\n", excPtr->GPR16);
+  printk("\t R17 = %" PRIxPTR "\n", excPtr->GPR17);
+  printk("\t R18 = %" PRIxPTR "\n", excPtr->GPR18);
+  printk("\t R19 = %" PRIxPTR "\n", excPtr->GPR19);
+  printk("\t R20 = %" PRIxPTR "\n", excPtr->GPR20);
+  printk("\t R21 = %" PRIxPTR "\n", excPtr->GPR21);
+  printk("\t R22 = %" PRIxPTR "\n", excPtr->GPR22);
+  printk("\t R23 = %" PRIxPTR "\n", excPtr->GPR23);
+  printk("\t R24 = %" PRIxPTR "\n", excPtr->GPR24);
+  printk("\t R25 = %" PRIxPTR "\n", excPtr->GPR25);
+  printk("\t R26 = %" PRIxPTR "\n", excPtr->GPR26);
+  printk("\t R27 = %" PRIxPTR "\n", excPtr->GPR27);
+  printk("\t R28 = %" PRIxPTR "\n", excPtr->GPR28);
+  printk("\t R29 = %" PRIxPTR "\n", excPtr->GPR29);
+  printk("\t R30 = %" PRIxPTR "\n", excPtr->GPR30);
+  printk("\t R31 = %" PRIxPTR "\n", excPtr->GPR31);
   printk("\t CR = %" PRIx32 "\n", excPtr->EXC_CR);
-  printk("\t CTR = %" PRIx32 "\n", excPtr->EXC_CTR);
+  printk("\t CTR = %" PRIxPTR "\n", excPtr->EXC_CTR);
   printk("\t XER = %" PRIx32 "\n", excPtr->EXC_XER);
-  printk("\t LR = %" PRIx32 "\n", excPtr->EXC_LR);
+  printk("\t LR = %" PRIxPTR "\n", excPtr->EXC_LR);
   if (excPtr->_EXC_number == ASM_DEC_VECTOR)
        recoverable = 1;
