Subversion Repositories HelenOS-historic

Rev

Rev 399 | Rev 401 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 399 Rev 400
Line 40... Line 40...
40 
#define VALUE1  0x89abcdef
 40 
#define VALUE1  0x89abcdef
41 
 
 41 
 
42 
void test(void)
 42 
void test(void)
43 
{
 43 
{
44 
    __address frame0, frame1;
 44 
    __address frame0, frame1;
45 
    __u32 v0, v1;
 45 
    volatile __u32 v0, v1;
46 
 
 46 
 
47 
    printf("Memory management test mapping #1\n");
 47 
    printf("Memory management test mapping #1\n");
48 
 
 48 
 
49 
    frame0 = frame_alloc(FRAME_KA);
 49 
    frame0 = frame_alloc(FRAME_KA);
50 
    frame1 = frame_alloc(FRAME_KA);
 50 
    frame1 = frame_alloc(FRAME_KA);
Line 67... Line 67...
67 
 
 67 
 
68 
    printf("Writing %X to virtual address %P.\n", 0, PAGE0);
 68 
    printf("Writing %X to virtual address %P.\n", 0, PAGE0);
69 
    *((__u32 *) PAGE0) = 0;
 69 
    *((__u32 *) PAGE0) = 0;
70 
    printf("Writing %X to virtual address %P.\n", 0, PAGE1);
 70 
    printf("Writing %X to virtual address %P.\n", 0, PAGE1);
71 
    *((__u32 *) PAGE1) = 0;
 71 
    *((__u32 *) PAGE1) = 0;
- 
 
 72 
 
- 
 
 73 
    v0 = *((__u32 *) PAGE0);
- 
 
 74 
    v1 = *((__u32 *) PAGE1);
72 
   
 75 
   
73 
    printf("Value at virtual address %P is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0));
 76 
    printf("Value at virtual address %P is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0));
74 
    printf("Value at virtual address %P is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1));
 77 
    printf("Value at virtual address %P is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1));
75 
 
 78 
 
76 
    ASSERT(v0 == 0);
 79 
    ASSERT(v0 == 0);