Rev 2029 | Rev 2053 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2029 | Rev 2050 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #define PAGE1 (PAGE0+PAGE_SIZE) |
39 | #define PAGE1 (PAGE0+PAGE_SIZE) |
40 | 40 | ||
41 | #define VALUE0 0x01234567 |
41 | #define VALUE0 0x01234567 |
42 | #define VALUE1 0x89abcdef |
42 | #define VALUE1 0x89abcdef |
43 | 43 | ||
44 | char * test_mapping1(void) |
44 | char * test_mapping1(bool quiet) |
45 | { |
45 | { |
46 | uintptr_t frame0, frame1; |
46 | uintptr_t frame0, frame1; |
47 | uint32_t v0, v1; |
47 | uint32_t v0, v1; |
48 | 48 | ||
49 | frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA); |
49 | frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA); |