Subversion Repositories HelenOS-historic

Rev

Rev 1760 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1760 Rev 1780
Line 40... Line 40...
40 
#define VALUE0  0x01234567
 40 
#define VALUE0  0x01234567
41 
#define VALUE1  0x89abcdef
 41 
#define VALUE1  0x89abcdef
42 
 
 42 
 
43 
void test(void)
 43 
void test(void)
44 
{
 44 
{
45 
    __address frame0, frame1;
 45 
    uintptr_t frame0, frame1;
46 
    __u32 v0, v1;
 46 
    uint32_t v0, v1;
47 
 
 47 
 
48 
    printf("Memory management test mapping #1\n");
 48 
    printf("Memory management test mapping #1\n");
49 
 
 49 
 
50 
    frame0 = frame_alloc(ONE_FRAME, FRAME_KA);
 50 
    frame0 = frame_alloc(ONE_FRAME, FRAME_KA);
51 
    frame1 = frame_alloc(ONE_FRAME, FRAME_KA);
 51 
    frame1 = 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 
    *((uint32_t *) 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 
    *((uint32_t *) 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 = *((uint32_t *) 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 = *((uint32_t *) 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 
    *((uint32_t *) 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 
    *((uint32_t *) PAGE1) = 0; 
73 
 
 73 
 
74 
    v0 = *((__u32 *) PAGE0);
 74 
    v0 = *((uint32_t *) PAGE0);
75 
    v1 = *((__u32 *) PAGE1);
 75 
    v1 = *((uint32_t *) 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, *((uint32_t *) 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, *((uint32_t *) 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");