Changes in kernel/arch/ppc32/src/mm/frame.c [720db0c:7e752b2] in mainline

File:

• kernel/arch/ppc32/src/mm/frame.c (modified) (1 diff)

kernel/arch/ppc32/src/mm/frame.c

@@ -49 +49 @@
         size_t i;
         for (i = 0; i < memmap.cnt; i++) {
-                printf("%#10x %#10x\n", memmap.zones[i].start,
+                printf("%p %#0zx\n", memmap.zones[i].start,
                     memmap.zones[i].size);
         }