Changeset 8469c53 in mainline

Timestamp:

2011-05-12T17:48:53Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

682cfceb

Parents:

a99a3d7

Message:

Fix formatting of mips32 istate_decode().

File:

• kernel/arch/mips32/src/exception.c (modified) (2 diffs)

kernel/arch/mips32/src/exception.c

@@ -74 +74 @@
 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 +106 @@
             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);
 }