Changes in kernel/generic/src/mm/frame.c [7e752b2:af96dd57] in mainline

File:

• kernel/generic/src/mm/frame.c (modified) (9 diffs)

kernel/generic/src/mm/frame.c

@@ -145 +145 @@
                             (!iswithin(zones.info[i].base, zones.info[i].count,
                             base, count))) {
-                                printf("Zone (%p, %p) overlaps "
-                                    "with previous zone (%p %p)!\n",
-                                    (void *) PFN2ADDR(base), (void *) PFN2ADDR(count),
-                                    (void *) PFN2ADDR(zones.info[i].base),
-                                    (void *) PFN2ADDR(zones.info[i].count));
+                                printf("Zone (%p, %p) overlaps with previous zone (%p, %p)!\n",
+                                    PFN2ADDR(base), PFN2ADDR(count),
+                                    PFN2ADDR(zones.info[i].base),
+                                    PFN2ADDR(zones.info[i].count));
                         }
                         
@@ -879 +878 @@
                  * the assert
                  */
-                ASSERT(confframe != ADDR2PFN((uintptr_t ) NULL));
+                ASSERT(confframe != NULL);
                 
                 /* If confframe is supposed to be inside our zone, then make sure
@@ -1050 +1049 @@
                 
 #ifdef CONFIG_DEBUG
-                printf("Thread %" PRIu64 " waiting for %zu frames, "
-                    "%zu available.\n", THREAD->tid, size, avail);
+                printf("Thread %" PRIu64 " waiting for %" PRIs " frames, "
+                    "%" PRIs " available.\n", THREAD->tid, size, avail);
 #endif
                 
@@ -1105 +1104 @@
          */
         pfn_t pfn = ADDR2PFN(frame);
-        size_t znum = find_zone(pfn, 1, 0);
+        size_t znum = find_zone(pfn, 1, NULL);
         
         ASSERT(znum != (size_t) -1);
@@ -1142 +1141 @@
          * First, find host frame zone for addr.
          */
-        size_t znum = find_zone(pfn, 1, 0);
+        size_t znum = find_zone(pfn, 1, NULL);
         
         ASSERT(znum != (size_t) -1);
@@ -1298 +1297 @@
                 bool available = zone_flags_available(flags);
                 
-                printf("%-4zu", i);
+                printf("%-4" PRIs, i);
                 
 #ifdef __32_BITS__
-                printf("  %p", (void *) base);
+                printf("  %10p", base);
 #endif
                 
 #ifdef __64_BITS__
-                printf(" %p", (void *) base);
+                printf(" %18p", base);
 #endif
                 
-                printf(" %12zu %c%c%c      ", count,
+                printf(" %12" PRIs " %c%c%c      ", count,
                     available ? 'A' : ' ',
                     (flags & ZONE_RESERVED) ? 'R' : ' ',
@@ -1314 +1313 @@
                 
                 if (available)
-                        printf("%14zu %14zu",
+                        printf("%14" PRIs " %14" PRIs,
                             free_count, busy_count);
                 
@@ -1355 +1354 @@
         bool available = zone_flags_available(flags);
         
-        printf("Zone number:       %zu\n", znum);
-        printf("Zone base address: %p\n", (void *) base);
-        printf("Zone size:         %zu frames (%zu KiB)\n", count,
+        printf("Zone number:       %" PRIs "\n", znum);
+        printf("Zone base address: %p\n", base);
+        printf("Zone size:         %" PRIs " frames (%" PRIs " KiB)\n", count,
             SIZE2KB(FRAMES2SIZE(count)));
         printf("Zone flags:        %c%c%c\n",
@@ -1365 +1364 @@
         
         if (available) {
-                printf("Allocated space:   %zu frames (%zu KiB)\n",
+                printf("Allocated space:   %" PRIs " frames (%" PRIs " KiB)\n",
                     busy_count, SIZE2KB(FRAMES2SIZE(busy_count)));
-                printf("Available space:   %zu frames (%zu KiB)\n",
+                printf("Available space:   %" PRIs " frames (%" PRIs " KiB)\n",
                     free_count, SIZE2KB(FRAMES2SIZE(free_count)));
         }