Subversion Repositories HelenOS-historic

Rev

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");