Rev 684 | Rev 699 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 684 | Rev 691 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #define PAGE_SIZE FRAME_SIZE |
35 | #define PAGE_SIZE FRAME_SIZE |
36 | 36 | ||
37 | #define KA2PA(x) ((__address) (x)) |
37 | #define KA2PA(x) ((__address) (x)) |
38 | #define PA2KA(x) ((__address) (x)) |
38 | #define PA2KA(x) ((__address) (x)) |
39 | 39 | ||
40 | /* |
- | |
41 | * Implementation of generic 4-level page table interface. |
- | |
42 | * TODO: this is a fake implementation provided to satisfy the compiler |
- | |
43 | */ |
- | |
44 | #define PTL0_INDEX_ARCH(vaddr) 0 |
- | |
45 | #define PTL1_INDEX_ARCH(vaddr) 0 |
- | |
46 | #define PTL2_INDEX_ARCH(vaddr) 0 |
- | |
47 | #define PTL3_INDEX_ARCH(vaddr) 0 |
- | |
48 | - | ||
49 | #define GET_PTL0_ADDRESS_ARCH() ((pte_t *) 0) |
40 | #define GET_PTL0_ADDRESS_ARCH() ((pte_t *) 0) |
50 | #define GET_PTL1_ADDRESS_ARCH(ptl0, i) ((pte_t *) 0) |
- | |
51 | #define GET_PTL2_ADDRESS_ARCH(ptl1, i) ((pte_t *) 0) |
- | |
52 | #define GET_PTL3_ADDRESS_ARCH(ptl2, i) ((pte_t *) 0) |
- | |
53 | #define GET_FRAME_ADDRESS_ARCH(ptl3, i) ((pte_t *) 0) |
- | |
54 | - | ||
55 | #define SET_PTL0_ADDRESS_ARCH(ptl0) |
41 | #define SET_PTL0_ADDRESS_ARCH(ptl0) |
56 | #define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) |
- | |
57 | #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) |
- | |
58 | #define SET_PTL3_ADDRESS_ARCH(ptl2, i, a) |
- | |
59 | #define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) |
- | |
60 | - | ||
61 | #define GET_PTL1_FLAGS_ARCH(ptl0, i) 0 |
- | |
62 | #define GET_PTL2_FLAGS_ARCH(ptl1, i) 0 |
- | |
63 | #define GET_PTL3_FLAGS_ARCH(ptl2, i) 0 |
- | |
64 | #define GET_FRAME_FLAGS_ARCH(ptl3, i) 0 |
- | |
65 | - | ||
66 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
- | |
67 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
- | |
68 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
- | |
69 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
- | |
70 | 42 | ||
71 | extern void page_arch_init(void); |
43 | extern void page_arch_init(void); |
72 | 44 | ||
73 | #endif |
45 | #endif |