Changeset 8c5e6c7 in mainline for test/mm/mapping1/test.c

Timestamp:

2005-10-07T23:19:56Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

cad5ce8

Parents:

92e5431

Message:

mips32 memory management work.
TLB exceptions seem to be working on at least simics.
msim handles TLB Refill and TLB Invalid exceptions well,
but seems to skip writes to the mapped addressies in mm
mapping test #1 (the data is not written and exception
is not triggered).

File:

• test/mm/mapping1/test.c (modified) (1 diff)

test/mm/mapping1/test.c

@@ -49 +49 @@
         frame0 = frame_alloc(FRAME_KA);
         frame1 = frame_alloc(FRAME_KA); 
-        
+
+        printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));
         *((__u32 *) frame0) = VALUE0;
+        printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1));
         *((__u32 *) frame1) = VALUE1;
         
-        printf("Mapping %P to %P.\n", PAGE0, KA2PA(frame0));
-        map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT, 0);
-        printf("Mapping %P to %P.\n", PAGE1, KA2PA(frame1));    
-        map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT, 0);
+        printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));
+        map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE, 0);
+        printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));   
+        map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE, 0);
         
-        printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
-        printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
+        printf("Value at virtual address %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
+        printf("Value at virtual address %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
         
         ASSERT(v0 == VALUE0);
         ASSERT(v1 == VALUE1);
 
-        printf("Writing 0 to %P.\n", PAGE0);
+        printf("Writing %X to virtual address %P.\n", 0, PAGE0);
         *((__u32 *) PAGE0) = 0;
-        printf("Writing 0 to %P.\n", PAGE1);
+        printf("Writing %X to virtual address %P.\n", 0, PAGE1);
         *((__u32 *) PAGE1) = 0; 
         
-        printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0)); 
-        printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
+        printf("Value at virtual address %P is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0)); 
+        printf("Value at virtual address %P is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1));
 
         ASSERT(v0 == 0);