Changes in kernel/arch/mips32/src/debugger.c [7e752b2:0b4a67a] in mainline

File:

• kernel/arch/mips32/src/debugger.c (modified) (4 diffs)

kernel/arch/mips32/src/debugger.c

@@ -191 +191 @@
         }
         
-        printf("Adding breakpoint on address %p\n", (void *) argv->intval);
+        printf("Adding breakpoint on address %p\n", argv->intval);
         
         cur->address = (uintptr_t) argv->intval;
@@ -267 +267 @@
                             breakpoints[i].address);
                         
-                        printf("%-4u %7zu %p %-8s %-9s %-10s %s\n", i,
-                            breakpoints[i].counter, (void *) breakpoints[i].address,
+                        printf("%-4u %7" PRIs " %p %-8s %-9s %-10s %s\n", i,
+                            breakpoints[i].counter, breakpoints[i].address,
                             ((breakpoints[i].flags & BKPOINT_INPROG) ? "true" :
                             "false"), ((breakpoints[i].flags & BKPOINT_ONESHOT)
@@ -366 +366 @@
                 
                 if (!(cur->flags & BKPOINT_FUNCCALL)) {
-                        printf("***Breakpoint %u: %p in %s.\n", i,
-                            (void *) fireaddr,
+                        printf("***Breakpoint %u: %p in %s.\n", i, fireaddr,
                             symtab_fmt_name_lookup(fireaddr));
                 }
@@ -382 +381 @@
                 cur->flags |= BKPOINT_INPROG;
         } else {
-                printf("***Breakpoint %d: %p in %s.\n", i,
-                    (void *) fireaddr,
+                printf("***Breakpoint %d: %p in %s.\n", i, fireaddr,
                     symtab_fmt_name_lookup(fireaddr));