Rev 396 | Rev 399 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 396 | Rev 397 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | frame1 = frame_alloc(FRAME_KA); |
50 | frame1 = frame_alloc(FRAME_KA); |
51 | 51 | ||
52 | *((__u32 *) frame0) = VALUE0; |
52 | *((__u32 *) frame0) = VALUE0; |
53 | *((__u32 *) frame1) = VALUE1; |
53 | *((__u32 *) frame1) = VALUE1; |
54 | 54 | ||
55 | printf("Mapping %X to %X.\n", PAGE0, KA2PA(frame0)); |
55 | printf("Mapping %P to %P.\n", PAGE0, KA2PA(frame0)); |
56 | map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT, 0); |
56 | map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT, 0); |
57 | printf("Mapping %X to %X.\n", PAGE1, KA2PA(frame1)); |
57 | printf("Mapping %P to %P.\n", PAGE1, KA2PA(frame1)); |
58 | map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT, 0); |
58 | map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT, 0); |
59 | 59 | ||
60 | printf("Value at %X is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
60 | printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
61 | printf("Value at %X is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
61 | printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
62 | 62 | ||
63 | ASSERT(v0 == VALUE0); |
63 | ASSERT(v0 == VALUE0); |
64 | ASSERT(v1 == VALUE1); |
64 | ASSERT(v1 == VALUE1); |
65 | 65 | ||
66 | printf("Writing 0 to %X.\n", PAGE0); |
66 | printf("Writing 0 to %P.\n", PAGE0); |
67 | *((__u32 *) PAGE0) = 0; |
67 | *((__u32 *) PAGE0) = 0; |
68 | printf("Writing 0 to %X.\n", PAGE1); |
68 | printf("Writing 0 to %P.\n", PAGE1); |
69 | *((__u32 *) PAGE1) = 0; |
69 | *((__u32 *) PAGE1) = 0; |
70 | 70 | ||
71 | printf("Value at %X is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
71 | printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
72 | printf("Value at %X is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
72 | printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
73 | 73 | ||
74 | ASSERT(v0 == 0); |
74 | ASSERT(v0 == 0); |
75 | ASSERT(v1 == 0); |
75 | ASSERT(v1 == 0); |
76 | 76 | ||
77 | printf("Test passed.\n"); |
77 | printf("Test passed.\n"); |