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