Changes in kernel/arch/amd64/src/debugger.c [ccb426c:49ace23] in mainline

File:

• kernel/arch/amd64/src/debugger.c (modified) (1 diff)

kernel/arch/amd64/src/debugger.c

@@ -230 +230 @@
                                 return;
                         
-                        printf("*** Found ZERO on address %lx (slot %d) ***\n",
+                        printf("*** Found ZERO on address %" PRIp " (slot %d) ***\n",
                             breakpoints[slot].address, slot);
                 } else {
-                        printf("Data watchpoint - new data: %lx\n",
+                        printf("Data watchpoint - new data: %" PRIp "\n",
                             *((unative_t *) breakpoints[slot].address));
                 }
         }
         
-        printf("Reached breakpoint %d:%lx (%s)\n", slot, getip(istate),
+        printf("Reached breakpoint %d:%" PRIp " (%s)\n", slot, getip(istate),
             symtab_fmt_name_lookup(getip(istate)));