Changeset deada67 in mainline for kernel/test/mm/mapping1.c

Timestamp:

2006-12-19T17:54:50Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

730376d

Parents:

6536a4a9

Message:

quiet variants of tests

File:

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

kernel/test/mm/mapping1.c

@@ -49 +49 @@
         frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
         frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
-
-        printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
+        
+        if (!quiet)
+                printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
         *((uint32_t *) frame0) = VALUE0;
-        printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
+        if (!quiet)
+                printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
         *((uint32_t *) frame1) = VALUE1;
         
-        printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
+        if (!quiet)
+                printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
         page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE);
-        printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));   
+        if (!quiet)
+                printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));   
         page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE);
         
-        printf("Value at virtual address %p is %#x.\n", PAGE0, v0 = *((uint32_t *) PAGE0));
-        printf("Value at virtual address %p is %#x.\n", PAGE1, v1 = *((uint32_t *) PAGE1));
+        v0 = *((uint32_t *) PAGE0);
+        v1 = *((uint32_t *) PAGE1);
+        if (!quiet) {
+                printf("Value at virtual address %p is %#x.\n", PAGE0, v0);
+                printf("Value at virtual address %p is %#x.\n", PAGE1, v1);
+        }
         
         if (v0 != VALUE0)
@@ -67 +75 @@
         if (v1 != VALUE1)
                 return "Value at v1 not equal to VALUE1";
-
-        printf("Writing %#x to virtual address %p.\n", 0, PAGE0);
+        
+        if (!quiet)
+                printf("Writing %#x to virtual address %p.\n", 0, PAGE0);
         *((uint32_t *) PAGE0) = 0;
-        printf("Writing %#x to virtual address %p.\n", 0, PAGE1);
+        if (!quiet)
+                printf("Writing %#x to virtual address %p.\n", 0, PAGE1);
         *((uint32_t *) PAGE1) = 0;      
 
@@ -76 +86 @@
         v1 = *((uint32_t *) PAGE1);
         
-        printf("Value at virtual address %p is %#x.\n", PAGE0, *((uint32_t *) PAGE0));  
-        printf("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
+        if (!quiet) {
+                printf("Value at virtual address %p is %#x.\n", PAGE0, *((uint32_t *) PAGE0));  
+                printf("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
+        }
 
         if (v0 != 0)