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