Rev 2465 | Rev 2927 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2465 | Rev 2467 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef __ppc32_PAGE_H__ |
35 | #ifndef KERN_ppc32_PAGE_H_ |
36 | #define __ppc32_PAGE_H__ |
36 | #define KERN_ppc32_PAGE_H_ |
37 | 37 | ||
38 | #include <arch/mm/frame.h> |
38 | #include <arch/mm/frame.h> |
39 | 39 | ||
40 | #define PAGE_WIDTH FRAME_WIDTH |
40 | #define PAGE_WIDTH FRAME_WIDTH |
41 | #define PAGE_SIZE FRAME_SIZE |
41 | #define PAGE_SIZE FRAME_SIZE |
Line 63... | Line 63... | ||
63 | * - PTL1 is not used |
63 | * - PTL1 is not used |
64 | * - PTL2 is not used |
64 | * - PTL2 is not used |
65 | * - PLT3 has 1024 entries (10 bits) |
65 | * - PLT3 has 1024 entries (10 bits) |
66 | */ |
66 | */ |
67 | 67 | ||
- | 68 | /* Number of entries in each level. */ |
|
68 | #define PTL0_ENTRIES_ARCH 1024 |
69 | #define PTL0_ENTRIES_ARCH 1024 |
69 | #define PTL1_ENTRIES_ARCH 0 |
70 | #define PTL1_ENTRIES_ARCH 0 |
70 | #define PTL2_ENTRIES_ARCH 0 |
71 | #define PTL2_ENTRIES_ARCH 0 |
71 | #define PTL3_ENTRIES_ARCH 1024 |
72 | #define PTL3_ENTRIES_ARCH 1024 |
72 | 73 | ||
- | 74 | /* Page table sizes for each level. */ |
|
73 | #define PTL0_SIZE_ARCH ONE_FRAME |
75 | #define PTL0_SIZE_ARCH ONE_FRAME |
74 | #define PTL1_SIZE_ARCH 0 |
76 | #define PTL1_SIZE_ARCH 0 |
75 | #define PTL2_SIZE_ARCH 0 |
77 | #define PTL2_SIZE_ARCH 0 |
76 | #define PTL3_SIZE_ARCH ONE_FRAME |
78 | #define PTL3_SIZE_ARCH ONE_FRAME |
77 | 79 | ||
- | 80 | /* Macros calculating indices into page tables on each level. */ |
|
78 | #define PTL0_INDEX_ARCH(vaddr) (((vaddr) >> 22) & 0x3ff) |
81 | #define PTL0_INDEX_ARCH(vaddr) (((vaddr) >> 22) & 0x3ff) |
79 | #define PTL1_INDEX_ARCH(vaddr) 0 |
82 | #define PTL1_INDEX_ARCH(vaddr) 0 |
80 | #define PTL2_INDEX_ARCH(vaddr) 0 |
83 | #define PTL2_INDEX_ARCH(vaddr) 0 |
81 | #define PTL3_INDEX_ARCH(vaddr) (((vaddr) >> 12) & 0x3ff) |
84 | #define PTL3_INDEX_ARCH(vaddr) (((vaddr) >> 12) & 0x3ff) |
82 | 85 | ||
- | 86 | /* Get PTE address accessors for each level. */ |
|
83 | #define GET_PTL1_ADDRESS_ARCH(ptl0, i) (((pte_t *) (ptl0))[(i)].pfn << 12) |
87 | #define GET_PTL1_ADDRESS_ARCH(ptl0, i) \ |
- | 88 | (((pte_t *) (ptl0))[(i)].pfn << 12) |
|
84 | #define GET_PTL2_ADDRESS_ARCH(ptl1, i) (ptl1) |
89 | #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \ |
- | 90 | (ptl1) |
|
85 | #define GET_PTL3_ADDRESS_ARCH(ptl2, i) (ptl2) |
91 | #define GET_PTL3_ADDRESS_ARCH(ptl2, i) \ |
- | 92 | (ptl2) |
|
86 | #define GET_FRAME_ADDRESS_ARCH(ptl3, i) (((pte_t *) (ptl3))[(i)].pfn << 12) |
93 | #define GET_FRAME_ADDRESS_ARCH(ptl3, i) \ |
- | 94 | (((pte_t *) (ptl3))[(i)].pfn << 12) |
|
87 | 95 | ||
- | 96 | /* Set PTE address accessors for each level. */ |
|
88 | #define SET_PTL0_ADDRESS_ARCH(ptl0) |
97 | #define SET_PTL0_ADDRESS_ARCH(ptl0) |
89 | #define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) (((pte_t *) (ptl0))[(i)].pfn = (a) >> 12) |
98 | #define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) \ |
- | 99 | (((pte_t *) (ptl0))[(i)].pfn = (a) >> 12) |
|
90 | #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) |
100 | #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) |
91 | #define SET_PTL3_ADDRESS_ARCH(ptl2, i, a) |
101 | #define SET_PTL3_ADDRESS_ARCH(ptl2, i, a) |
92 | #define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) (((pte_t *) (ptl3))[(i)].pfn = (a) >> 12) |
102 | #define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \ |
- | 103 | (((pte_t *) (ptl3))[(i)].pfn = (a) >> 12) |
|
93 | 104 | ||
- | 105 | /* Get PTE flags accessors for each level. */ |
|
- | 106 | #define GET_PTL1_FLAGS_ARCH(ptl0, i) \ |
|
94 | #define GET_PTL1_FLAGS_ARCH(ptl0, i) get_pt_flags((pte_t *) (ptl0), (index_t) (i)) |
107 | get_pt_flags((pte_t *) (ptl0), (index_t) (i)) |
95 | #define GET_PTL2_FLAGS_ARCH(ptl1, i) PAGE_PRESENT |
108 | #define GET_PTL2_FLAGS_ARCH(ptl1, i) \ |
- | 109 | PAGE_PRESENT |
|
96 | #define GET_PTL3_FLAGS_ARCH(ptl2, i) PAGE_PRESENT |
110 | #define GET_PTL3_FLAGS_ARCH(ptl2, i) \ |
- | 111 | PAGE_PRESENT |
|
- | 112 | #define GET_FRAME_FLAGS_ARCH(ptl3, i) \ |
|
97 | #define GET_FRAME_FLAGS_ARCH(ptl3, i) get_pt_flags((pte_t *) (ptl3), (index_t) (i)) |
113 | get_pt_flags((pte_t *) (ptl3), (index_t) (i)) |
98 | 114 | ||
- | 115 | /* Set PTE flags accessors for each level. */ |
|
- | 116 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \ |
|
99 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) set_pt_flags((pte_t *) (ptl0), (index_t) (i), (x)) |
117 | set_pt_flags((pte_t *) (ptl0), (index_t) (i), (x)) |
100 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
118 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
101 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
119 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
- | 120 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \ |
|
102 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x)) |
121 | set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x)) |
103 | 122 | ||
- | 123 | /* Macros for querying the last-level PTEs. */ |
|
104 | #define PTE_VALID_ARCH(pte) (*((uint32_t *) (pte)) != 0) |
124 | #define PTE_VALID_ARCH(pte) (*((uint32_t *) (pte)) != 0) |
105 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
125 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
106 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn << 12) |
126 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn << 12) |
107 | #define PTE_WRITABLE_ARCH(pte) 1 |
127 | #define PTE_WRITABLE_ARCH(pte) 1 |
108 | #define PTE_EXECUTABLE_ARCH(pte) 1 |
128 | #define PTE_EXECUTABLE_ARCH(pte) 1 |
Line 114... | Line 134... | ||
114 | 134 | ||
115 | static inline int get_pt_flags(pte_t *pt, index_t i) |
135 | static inline int get_pt_flags(pte_t *pt, index_t i) |
116 | { |
136 | { |
117 | pte_t *p = &pt[i]; |
137 | pte_t *p = &pt[i]; |
118 | 138 | ||
119 | return ( |
- | |
120 | (1 << PAGE_CACHEABLE_SHIFT) | |
139 | return ((1 << PAGE_CACHEABLE_SHIFT) | |
121 | ((!p->p) << PAGE_PRESENT_SHIFT) | |
140 | ((!p->p) << PAGE_PRESENT_SHIFT) | |
122 | (1 << PAGE_USER_SHIFT) | |
141 | (1 << PAGE_USER_SHIFT) | |
123 | (1 << PAGE_READ_SHIFT) | |
142 | (1 << PAGE_READ_SHIFT) | |
124 | (1 << PAGE_WRITE_SHIFT) | |
143 | (1 << PAGE_WRITE_SHIFT) | |
125 | (1 << PAGE_EXEC_SHIFT) | |
144 | (1 << PAGE_EXEC_SHIFT) | |
126 | (p->g << PAGE_GLOBAL_SHIFT) |
145 | (p->g << PAGE_GLOBAL_SHIFT)); |
127 | ); |
- | |
128 | } |
146 | } |
129 | 147 | ||
130 | static inline void set_pt_flags(pte_t *pt, index_t i, int flags) |
148 | static inline void set_pt_flags(pte_t *pt, index_t i, int flags) |
131 | { |
149 | { |
132 | pte_t *p = &pt[i]; |
150 | pte_t *p = &pt[i]; |