Update

[l4.git] / kernel / fiasco / src / kern / map_util-mem.cpp

diff --git a/kernel/fiasco/src/kern/map_util-mem.cpp b/kernel/fiasco/src/kern/map_util-mem.cpp
index f7fc555cd14c4ebf2603201181c66746373cf00b..a620ec82d31f944882a4bfcc32ad1f5c3d12236c 100644 (file)
--- a/kernel/fiasco/src/kern/map_util-mem.cpp
+++ b/kernel/fiasco/src/kern/map_util-mem.cpp
@@ -123,14 +123,14 @@ init_mapdb_mem(Space *sigma0)
         c = last_bits - Page_order(12);
       else
         ++ps;
-      printf("MDB: use page size: %d\n", Page_order::val(c));
-      assert_kdb (idx < Max_num_page_sizes);
+      printf("MDB: use page size: %u\n", Page_order::val(c));
+      assert (idx < Max_num_page_sizes);
       page_sizes[idx++] = Page_order::val(c) - Config::PAGE_SHIFT;
       last_bits = c;
     }
 
   if (0)
-    printf("MDB: phys_bits=%d levels = %d\n", Cpu::boot_cpu()->phys_bits(), idx);
+    printf("MDB: phys_bits=%u levels = %u\n", Cpu::boot_cpu()->phys_bits(), idx);
 
   mapdb_mem.construct(sigma0,
       Mapping::Page(1U << (phys_bits - Config::PAGE_SHIFT - page_sizes[0])),