Changeset 7e752b2 in mainline for kernel/arch/amd64/src/debugger.c

Timestamp:

2010-11-26T01:33:20Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

bf61d3a

Parents:

202f57b

Message:

• correct printf() formatting strings and corresponding arguments
• minor cstyle changes and other small fixes

File:

• kernel/arch/amd64/src/debugger.c (modified) (3 diffs)

kernel/arch/amd64/src/debugger.c

@@ -230 +230 @@
                                 return;
                         
-                        printf("*** Found ZERO on address %" PRIp " (slot %d) ***\n",
-                            breakpoints[slot].address, slot);
+                        printf("*** Found ZERO on address %p (slot %d) ***\n",
+                            (void *) breakpoints[slot].address, slot);
                 } else {
-                        printf("Data watchpoint - new data: %" PRIp "\n",
+                        printf("Data watchpoint - new data: %#" PRIxn "\n",
                             *((unative_t *) breakpoints[slot].address));
                 }
         }
         
-        printf("Reached breakpoint %d:%" PRIp " (%s)\n", slot, getip(istate),
-            symtab_fmt_name_lookup(getip(istate)));
+        printf("Reached breakpoint %d:%p (%s)\n", slot,
+            (void *) getip(istate), symtab_fmt_name_lookup(getip(istate)));
         
 #ifdef CONFIG_KCONSOLE
@@ -363 +363 @@
                         
 #ifdef __32_BITS__
-                        printf("%-4u %7" PRIs " %p %s\n", i,
-                            breakpoints[i].counter, breakpoints[i].address,
+                        printf("%-4u %7zu %p %s\n", i,
+                            breakpoints[i].counter, (void *) breakpoints[i].address,
                             symbol);
 #endif
                         
 #ifdef __64_BITS__
-                        printf("%-4u %7" PRIs " %p %s\n", i,
-                            breakpoints[i].counter, breakpoints[i].address,
+                        printf("%-4u %7zu %p %s\n", i,
+                            breakpoints[i].counter, (void *) breakpoints[i].address,
                             symbol);
 #endif
@@ -405 +405 @@
                 flags = BKPOINT_WRITE;
         
-        printf("Adding breakpoint on address: %p\n", argv->intval);
-        
-        int id = breakpoint_add((void *)argv->intval, flags, -1);
+        printf("Adding breakpoint on address: %p\n",
+            (void *) argv->intval);
+        
+        int id = breakpoint_add((void *) argv->intval, flags, -1);
         if (id < 0)
                 printf("Add breakpoint failed.\n");