Changes in kernel/test/mm/mapping1.c [cb01e1e:7e752b2] in mainline

File:

• kernel/test/mm/mapping1.c (modified) (5 diffs)

kernel/test/mm/mapping1.c

@@ -33 +33 @@
 #include <mm/as.h>
 #include <arch/mm/page.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <debug.h>
 
@@ -39 +39 @@
 #define PAGE1  (PAGE0 + PAGE_SIZE)
 
-#define VALUE0  0x01234567
-#define VALUE1  0x89abcdef
+#define VALUE0  UINT32_C(0x01234567)
+#define VALUE1  UINT32_C(0x89abcdef)
 
-char *test_mapping1(void)
+const char *test_mapping1(void)
 {
         uintptr_t frame0, frame1;
@@ -50 +50 @@
         frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
         
-        TPRINTF("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
+        TPRINTF("Writing %#" PRIx32 " to physical address %p.\n",
+            (uint32_t) VALUE0, (void *) KA2PA(frame0));
         *((uint32_t *) frame0) = VALUE0;
         
-        TPRINTF("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
+        TPRINTF("Writing %#" PRIx32 " to physical address %p.\n",
+            (uint32_t) VALUE1, (void *) KA2PA(frame1));
         *((uint32_t *) frame1) = VALUE1;
         
-        TPRINTF("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
+        TPRINTF("Mapping virtual address %p to physical address %p.\n",
+            (void *) PAGE0, (void *) KA2PA(frame0));
         page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE);
         
-        TPRINTF("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));
+        TPRINTF("Mapping virtual address %p to physical address %p.\n",
+            (void *) PAGE1, (void *) KA2PA(frame1));
         page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE);
         
         v0 = *((uint32_t *) PAGE0);
         v1 = *((uint32_t *) PAGE1);
-        TPRINTF("Value at virtual address %p is %#x.\n", PAGE0, v0);
-        TPRINTF("Value at virtual address %p is %#x.\n", PAGE1, v1);
+        TPRINTF("Value at virtual address %p is %#" PRIx32 ".\n",
+            (void *) PAGE0, v0);
+        TPRINTF("Value at virtual address %p is %#" PRIx32 ".\n",
+            (void *) PAGE1, v1);
         
         if (v0 != VALUE0)
@@ -72 +78 @@
                 return "Value at v1 not equal to VALUE1";
         
-        TPRINTF("Writing %#x to virtual address %p.\n", 0, PAGE0);
+        TPRINTF("Writing %#" PRIx32 " to virtual address %p.\n",
+            (uint32_t) 0, (void *) PAGE0);
         *((uint32_t *) PAGE0) = 0;
         
-        TPRINTF("Writing %#x to virtual address %p.\n", 0, PAGE1);
+        TPRINTF("Writing %#" PRIx32 " to virtual address %p.\n",
+            (uint32_t) 0, (void *) PAGE1);
         *((uint32_t *) PAGE1) = 0;
         
@@ -81 +89 @@
         v1 = *((uint32_t *) PAGE1);
         
-        TPRINTF("Value at virtual address %p is %#x.\n", PAGE0, *((uint32_t *) PAGE0)); 
-        TPRINTF("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
+        TPRINTF("Value at virtual address %p is %#" PRIx32 ".\n",
+            (void *) PAGE0, *((uint32_t *) PAGE0));
+        TPRINTF("Value at virtual address %p is %#" PRIx32 ".\n",
+            (void *) PAGE1, *((uint32_t *) PAGE1));
         
         if (v0 != 0)