Subversion Repositories HelenOS-historic

Rev

Rev 401 | 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);