Changeset 305f37 in git for kernel/oswrapper/vspace.cc

Timestamp:

Feb 1, 2022, 3:20:44 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6a57089b3e776d07691d5d44f2130534d7a2c793

Parents:

d2c1f80fb8e51fdcf913e9d5bc8995026964c130

Message:

compiler warnings

File:

• kernel/oswrapper/vspace.cc (modified) (4 diffs)

kernel/oswrapper/vspace.cc

@@ -172 +172 @@
     vaddr_t vaddr = vmem.freelist[i];
     if (vaddr != VADDR_NULL) {
-      printf("%2d: %ld", i, vaddr);
+      printf("%2d: %ld", i, (long)vaddr);
       vaddr_t prev = block_ptr(vaddr)->prev;
       if (prev != VADDR_NULL) {
-        printf("(%ld)", prev);
+        printf("(%ld)", (long)prev);
       }
       assert(block_ptr(vaddr)->prev == VADDR_NULL);
@@ -184 +184 @@
         if (vaddr == VADDR_NULL)
           break;
-        printf(" -> %ld", vaddr);
+        printf(" -> %ld", (long)vaddr);
         vaddr_t prev = block_ptr(vaddr)->prev;
         if (prev != last_vaddr) {
-          printf("(%ld)", prev);
+          printf("(%ld)", (long)prev);
         }
       }
@@ -726 +726 @@
     vaddr_t vaddr = vmem.freelist[i];
     if (vaddr != VADDR_NULL) {
-      std::printf("%2d: %ld", i, vaddr);
+      std::printf("%2d: %ld", i, (long)vaddr);
       vaddr_t prev = block_ptr(vaddr)->prev;
       if (prev != VADDR_NULL) {
-        std::printf("(%ld)", prev);
+        std::printf("(%ld)", (long)prev);
       }
       assert(block_ptr(vaddr)->prev == VADDR_NULL);
@@ -738 +738 @@
         if (vaddr == VADDR_NULL)
           break;
-        std::printf(" -> %ld", vaddr);
+        std::printf(" -> %ld", (long)vaddr);
         vaddr_t prev = block_ptr(vaddr)->prev;
         if (prev != last_vaddr) {
-          std::printf("(%ld)", prev);
+          std::printf("(%ld)", (long)prev);
         }
       }