Rev 401 | Rev 501 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 401 | Rev 492 | ||
---|---|---|---|
Line 53... | Line 53... | ||
53 | *((__u32 *) frame0) = VALUE0; |
53 | *((__u32 *) frame0) = VALUE0; |
54 | printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1)); |
54 | printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1)); |
55 | *((__u32 *) frame1) = VALUE1; |
55 | *((__u32 *) frame1) = VALUE1; |
56 | 56 | ||
57 | printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0)); |
57 | printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0)); |
58 | map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE, 0); |
58 | page_mapping_insert(PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE, 0); |
59 | printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1)); |
59 | printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1)); |
60 | map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE, 0); |
60 | page_mapping_insert(PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE, 0); |
61 | 61 | ||
62 | printf("Value at virtual address %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
62 | printf("Value at virtual address %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
63 | printf("Value at virtual address %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
63 | printf("Value at virtual address %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
64 | 64 | ||
65 | ASSERT(v0 == VALUE0); |
65 | ASSERT(v0 == VALUE0); |