Rev 1196 | Rev 1965 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1196 | Rev 1221 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | printf("Memory management test mapping #1\n"); |
48 | printf("Memory management test mapping #1\n"); |
49 | 49 | ||
50 | frame0 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA))); |
50 | frame0 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA))); |
51 | frame1 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA))); |
51 | frame1 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA))); |
52 | 52 | ||
53 | printf("Writing %#X to physical address %P.\n", VALUE0, KA2PA(frame0)); |
53 | printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0)); |
54 | *((__u32 *) frame0) = VALUE0; |
54 | *((__u32 *) frame0) = VALUE0; |
55 | printf("Writing %#X to physical address %P.\n", VALUE1, KA2PA(frame1)); |
55 | printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1)); |
56 | *((__u32 *) frame1) = VALUE1; |
56 | *((__u32 *) frame1) = VALUE1; |
57 | 57 | ||
58 | printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0)); |
58 | printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0)); |
59 | page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE); |
59 | page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE); |
60 | printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1)); |
60 | printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1)); |
61 | page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE); |
61 | page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE); |
62 | 62 | ||
63 | printf("Value at virtual address %P is %#X.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
63 | printf("Value at virtual address %p is %#x.\n", PAGE0, v0 = *((__u32 *) PAGE0)); |
64 | printf("Value at virtual address %P is %#X.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
64 | printf("Value at virtual address %p is %#x.\n", PAGE1, v1 = *((__u32 *) PAGE1)); |
65 | 65 | ||
66 | ASSERT(v0 == VALUE0); |
66 | ASSERT(v0 == VALUE0); |
67 | ASSERT(v1 == VALUE1); |
67 | ASSERT(v1 == VALUE1); |
68 | 68 | ||
69 | printf("Writing %#X to virtual address %P.\n", 0, PAGE0); |
69 | printf("Writing %#x to virtual address %p.\n", 0, PAGE0); |
70 | *((__u32 *) PAGE0) = 0; |
70 | *((__u32 *) PAGE0) = 0; |
71 | printf("Writing %#X to virtual address %P.\n", 0, PAGE1); |
71 | printf("Writing %#x to virtual address %p.\n", 0, PAGE1); |
72 | *((__u32 *) PAGE1) = 0; |
72 | *((__u32 *) PAGE1) = 0; |
73 | 73 | ||
74 | v0 = *((__u32 *) PAGE0); |
74 | v0 = *((__u32 *) PAGE0); |
75 | v1 = *((__u32 *) PAGE1); |
75 | v1 = *((__u32 *) PAGE1); |
76 | 76 | ||
77 | printf("Value at virtual address %P is %#X.\n", PAGE0, *((__u32 *) PAGE0)); |
77 | printf("Value at virtual address %p is %#x.\n", PAGE0, *((__u32 *) PAGE0)); |
78 | printf("Value at virtual address %P is %#X.\n", PAGE1, *((__u32 *) PAGE1)); |
78 | printf("Value at virtual address %p is %#x.\n", PAGE1, *((__u32 *) PAGE1)); |
79 | 79 | ||
80 | ASSERT(v0 == 0); |
80 | ASSERT(v0 == 0); |
81 | ASSERT(v1 == 0); |
81 | ASSERT(v1 == 0); |
82 | 82 | ||
83 | printf("Test passed.\n"); |
83 | printf("Test passed.\n"); |