Rev 3233 | Rev 3593 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3233 | Rev 3343 | ||
---|---|---|---|
1 | /* |
1 | /* |
2 | * Copyright (c) 2005 - 2006 Jakub Jermar |
2 | * Copyright (c) 2005 - 2006 Jakub Jermar |
3 | * Copyright (c) 2006 Jakub Vana |
3 | * Copyright (c) 2006 Jakub Vana |
4 | * All rights reserved. |
4 | * All rights reserved. |
5 | * |
5 | * |
6 | * Redistribution and use in source and binary forms, with or without |
6 | * Redistribution and use in source and binary forms, with or without |
7 | * modification, are permitted provided that the following conditions |
7 | * modification, are permitted provided that the following conditions |
8 | * are met: |
8 | * are met: |
9 | * |
9 | * |
10 | * - Redistributions of source code must retain the above copyright |
10 | * - Redistributions of source code must retain the above copyright |
11 | * notice, this list of conditions and the following disclaimer. |
11 | * notice, this list of conditions and the following disclaimer. |
12 | * - Redistributions in binary form must reproduce the above copyright |
12 | * - Redistributions in binary form must reproduce the above copyright |
13 | * notice, this list of conditions and the following disclaimer in the |
13 | * notice, this list of conditions and the following disclaimer in the |
14 | * documentation and/or other materials provided with the distribution. |
14 | * documentation and/or other materials provided with the distribution. |
15 | * - The name of the author may not be used to endorse or promote products |
15 | * - The name of the author may not be used to endorse or promote products |
16 | * derived from this software without specific prior written permission. |
16 | * derived from this software without specific prior written permission. |
17 | * |
17 | * |
18 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
18 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
19 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
19 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
20 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
20 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
21 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
21 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
22 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
22 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
23 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
24 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
25 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
28 | */ |
28 | */ |
29 | 29 | ||
30 | /** @addtogroup ia64mm |
30 | /** @addtogroup ia64mm |
31 | * @{ |
31 | * @{ |
32 | */ |
32 | */ |
33 | /** @file |
33 | /** @file |
34 | */ |
34 | */ |
35 | 35 | ||
36 | #ifndef KERN_ia64_PAGE_H_ |
36 | #ifndef KERN_ia64_PAGE_H_ |
37 | #define KERN_ia64_PAGE_H_ |
37 | #define KERN_ia64_PAGE_H_ |
38 | 38 | ||
39 | #include <arch/mm/frame.h> |
39 | #include <arch/mm/frame.h> |
40 | 40 | ||
41 | #define PAGE_SIZE FRAME_SIZE |
41 | #define PAGE_SIZE FRAME_SIZE |
42 | #define PAGE_WIDTH FRAME_WIDTH |
42 | #define PAGE_WIDTH FRAME_WIDTH |
43 | 43 | ||
44 | #ifdef KERNEL |
44 | #ifdef KERNEL |
45 | 45 | ||
46 | /** Bit width of the TLB-locked portion of kernel address space. */ |
46 | /** Bit width of the TLB-locked portion of kernel address space. */ |
47 | #define KERNEL_PAGE_WIDTH 28 /* 256M */ |
47 | #define KERNEL_PAGE_WIDTH 28 /* 256M */ |
48 | #define IO_PAGE_WIDTH 26 /* 64M */ |
48 | #define IO_PAGE_WIDTH 26 /* 64M */ |
49 | 49 | ||
50 | 50 | ||
51 | #define PPN_SHIFT 12 |
51 | #define PPN_SHIFT 12 |
52 | 52 | ||
53 | #define VRN_SHIFT 61 |
53 | #define VRN_SHIFT 61 |
54 | #define VRN_MASK (7LL << VRN_SHIFT) |
54 | #define VRN_MASK (7LL << VRN_SHIFT) |
55 | #define VA2VRN(va) ((va)>>VRN_SHIFT) |
55 | #define VA2VRN(va) ((va)>>VRN_SHIFT) |
56 | 56 | ||
57 | #ifdef __ASM__ |
57 | #ifdef __ASM__ |
58 | #define VRN_KERNEL 7 |
58 | #define VRN_KERNEL 7 |
59 | #else |
59 | #else |
60 | #define VRN_KERNEL 7LL |
60 | #define VRN_KERNEL 7LL |
61 | #endif |
61 | #endif |
62 | 62 | ||
63 | #define REGION_REGISTERS 8 |
63 | #define REGION_REGISTERS 8 |
64 | 64 | ||
65 | #define KA2PA(x) ((uintptr_t) (x-(VRN_KERNEL<<VRN_SHIFT))) |
65 | #define KA2PA(x) ((uintptr_t) (x-(VRN_KERNEL<<VRN_SHIFT))) |
66 | #define PA2KA(x) ((uintptr_t) (x+(VRN_KERNEL<<VRN_SHIFT))) |
66 | #define PA2KA(x) ((uintptr_t) (x+(VRN_KERNEL<<VRN_SHIFT))) |
67 | 67 | ||
68 | #define VHPT_WIDTH 20 /* 1M */ |
68 | #define VHPT_WIDTH 20 /* 1M */ |
69 | #define VHPT_SIZE (1 << VHPT_WIDTH) |
69 | #define VHPT_SIZE (1 << VHPT_WIDTH) |
70 | 70 | ||
71 | #define PTA_BASE_SHIFT 15 |
71 | #define PTA_BASE_SHIFT 15 |
72 | 72 | ||
73 | /** Memory Attributes. */ |
73 | /** Memory Attributes. */ |
74 | #define MA_WRITEBACK 0x0 |
74 | #define MA_WRITEBACK 0x0 |
75 | #define MA_UNCACHEABLE 0x4 |
75 | #define MA_UNCACHEABLE 0x4 |
76 | 76 | ||
77 | /** Privilege Levels. Only the most and the least privileged ones are ever used. */ |
77 | /** Privilege Levels. Only the most and the least privileged ones are ever used. */ |
78 | #define PL_KERNEL 0x0 |
78 | #define PL_KERNEL 0x0 |
79 | #define PL_USER 0x3 |
79 | #define PL_USER 0x3 |
80 | 80 | ||
81 | /* Access Rigths. Only certain combinations are used by the kernel. */ |
81 | /* Access Rigths. Only certain combinations are used by the kernel. */ |
82 | #define AR_READ 0x0 |
82 | #define AR_READ 0x0 |
83 | #define AR_EXECUTE 0x1 |
83 | #define AR_EXECUTE 0x1 |
84 | #define AR_WRITE 0x2 |
84 | #define AR_WRITE 0x2 |
85 | 85 | ||
86 | #ifndef __ASM__ |
86 | #ifndef __ASM__ |
87 | 87 | ||
88 | #include <arch/mm/as.h> |
88 | #include <arch/mm/as.h> |
89 | #include <arch/mm/frame.h> |
89 | #include <arch/mm/frame.h> |
90 | #include <arch/interrupt.h> |
90 | #include <arch/interrupt.h> |
91 | #include <arch/barrier.h> |
91 | #include <arch/barrier.h> |
92 | #include <arch/mm/asid.h> |
92 | #include <arch/mm/asid.h> |
93 | #include <arch/types.h> |
93 | #include <arch/types.h> |
94 | #include <debug.h> |
94 | #include <debug.h> |
95 | 95 | ||
96 | struct vhpt_tag_info { |
96 | struct vhpt_tag_info { |
97 | unsigned long long tag : 63; |
97 | unsigned long long tag : 63; |
98 | unsigned ti : 1; |
98 | unsigned ti : 1; |
99 | } __attribute__ ((packed)); |
99 | } __attribute__ ((packed)); |
100 | 100 | ||
101 | union vhpt_tag { |
101 | union vhpt_tag { |
102 | struct vhpt_tag_info tag_info; |
102 | struct vhpt_tag_info tag_info; |
103 | unsigned tag_word; |
103 | unsigned tag_word; |
104 | }; |
104 | }; |
105 | 105 | ||
106 | struct vhpt_entry_present { |
106 | struct vhpt_entry_present { |
107 | /* Word 0 */ |
107 | /* Word 0 */ |
108 | unsigned p : 1; |
108 | unsigned p : 1; |
109 | unsigned : 1; |
109 | unsigned : 1; |
110 | unsigned ma : 3; |
110 | unsigned ma : 3; |
111 | unsigned a : 1; |
111 | unsigned a : 1; |
112 | unsigned d : 1; |
112 | unsigned d : 1; |
113 | unsigned pl : 2; |
113 | unsigned pl : 2; |
114 | unsigned ar : 3; |
114 | unsigned ar : 3; |
115 | unsigned long long ppn : 38; |
115 | unsigned long long ppn : 38; |
116 | unsigned : 2; |
116 | unsigned : 2; |
117 | unsigned ed : 1; |
117 | unsigned ed : 1; |
118 | unsigned ig1 : 11; |
118 | unsigned ig1 : 11; |
119 | 119 | ||
120 | /* Word 1 */ |
120 | /* Word 1 */ |
121 | unsigned : 2; |
121 | unsigned : 2; |
122 | unsigned ps : 6; |
122 | unsigned ps : 6; |
123 | unsigned key : 24; |
123 | unsigned key : 24; |
124 | unsigned : 32; |
124 | unsigned : 32; |
125 | 125 | ||
126 | /* Word 2 */ |
126 | /* Word 2 */ |
127 | union vhpt_tag tag; |
127 | union vhpt_tag tag; |
128 | 128 | ||
129 | /* Word 3 */ |
129 | /* Word 3 */ |
130 | uint64_t ig3 : 64; |
130 | uint64_t ig3 : 64; |
131 | } __attribute__ ((packed)); |
131 | } __attribute__ ((packed)); |
132 | 132 | ||
133 | struct vhpt_entry_not_present { |
133 | struct vhpt_entry_not_present { |
134 | /* Word 0 */ |
134 | /* Word 0 */ |
135 | unsigned p : 1; |
135 | unsigned p : 1; |
136 | unsigned long long ig0 : 52; |
136 | unsigned long long ig0 : 52; |
137 | unsigned ig1 : 11; |
137 | unsigned ig1 : 11; |
138 | 138 | ||
139 | /* Word 1 */ |
139 | /* Word 1 */ |
140 | unsigned : 2; |
140 | unsigned : 2; |
141 | unsigned ps : 6; |
141 | unsigned ps : 6; |
142 | unsigned long long ig2 : 56; |
142 | unsigned long long ig2 : 56; |
143 | 143 | ||
144 | /* Word 2 */ |
144 | /* Word 2 */ |
145 | union vhpt_tag tag; |
145 | union vhpt_tag tag; |
146 | 146 | ||
147 | /* Word 3 */ |
147 | /* Word 3 */ |
148 | uint64_t ig3 : 64; |
148 | uint64_t ig3 : 64; |
149 | } __attribute__ ((packed)); |
149 | } __attribute__ ((packed)); |
150 | 150 | ||
151 | typedef union vhpt_entry { |
151 | typedef union vhpt_entry { |
152 | struct vhpt_entry_present present; |
152 | struct vhpt_entry_present present; |
153 | struct vhpt_entry_not_present not_present; |
153 | struct vhpt_entry_not_present not_present; |
154 | uint64_t word[4]; |
154 | uint64_t word[4]; |
155 | } vhpt_entry_t; |
155 | } vhpt_entry_t; |
156 | 156 | ||
157 | struct region_register_map { |
157 | struct region_register_map { |
158 | unsigned ve : 1; |
158 | unsigned ve : 1; |
159 | unsigned : 1; |
159 | unsigned : 1; |
160 | unsigned ps : 6; |
160 | unsigned ps : 6; |
161 | unsigned rid : 24; |
161 | unsigned rid : 24; |
162 | unsigned : 32; |
162 | unsigned : 32; |
163 | } __attribute__ ((packed)); |
163 | } __attribute__ ((packed)); |
164 | 164 | ||
165 | typedef union region_register { |
165 | typedef union region_register { |
166 | struct region_register_map map; |
166 | struct region_register_map map; |
167 | unsigned long long word; |
167 | unsigned long long word; |
168 | } region_register; |
168 | } region_register; |
169 | 169 | ||
170 | struct pta_register_map { |
170 | struct pta_register_map { |
171 | unsigned ve : 1; |
171 | unsigned ve : 1; |
172 | unsigned : 1; |
172 | unsigned : 1; |
173 | unsigned size : 6; |
173 | unsigned size : 6; |
174 | unsigned vf : 1; |
174 | unsigned vf : 1; |
175 | unsigned : 6; |
175 | unsigned : 6; |
176 | unsigned long long base : 49; |
176 | unsigned long long base : 49; |
177 | } __attribute__ ((packed)); |
177 | } __attribute__ ((packed)); |
178 | 178 | ||
179 | typedef union pta_register { |
179 | typedef union pta_register { |
180 | struct pta_register_map map; |
180 | struct pta_register_map map; |
181 | uint64_t word; |
181 | uint64_t word; |
182 | } pta_register; |
182 | } pta_register; |
183 | 183 | ||
184 | /** Return Translation Hashed Entry Address. |
184 | /** Return Translation Hashed Entry Address. |
185 | * |
185 | * |
186 | * VRN bits are used to read RID (ASID) from one |
186 | * VRN bits are used to read RID (ASID) from one |
187 | * of the eight region registers registers. |
187 | * of the eight region registers registers. |
188 | * |
188 | * |
189 | * @param va Virtual address including VRN bits. |
189 | * @param va Virtual address including VRN bits. |
190 | * |
190 | * |
191 | * @return Address of the head of VHPT collision chain. |
191 | * @return Address of the head of VHPT collision chain. |
192 | */ |
192 | */ |
193 | static inline uint64_t thash(uint64_t va) |
193 | static inline uint64_t thash(uint64_t va) |
194 | { |
194 | { |
195 | uint64_t ret; |
195 | uint64_t ret; |
196 | 196 | ||
197 | asm volatile ("thash %0 = %1\n" : "=r" (ret) : "r" (va)); |
197 | asm volatile ("thash %0 = %1\n" : "=r" (ret) : "r" (va)); |
198 | 198 | ||
199 | return ret; |
199 | return ret; |
200 | } |
200 | } |
201 | 201 | ||
202 | /** Return Translation Hashed Entry Tag. |
202 | /** Return Translation Hashed Entry Tag. |
203 | * |
203 | * |
204 | * VRN bits are used to read RID (ASID) from one |
204 | * VRN bits are used to read RID (ASID) from one |
205 | * of the eight region registers. |
205 | * of the eight region registers. |
206 | * |
206 | * |
207 | * @param va Virtual address including VRN bits. |
207 | * @param va Virtual address including VRN bits. |
208 | * |
208 | * |
209 | * @return The unique tag for VPN and RID in the collision chain returned by thash(). |
209 | * @return The unique tag for VPN and RID in the collision chain returned by thash(). |
210 | */ |
210 | */ |
211 | static inline uint64_t ttag(uint64_t va) |
211 | static inline uint64_t ttag(uint64_t va) |
212 | { |
212 | { |
213 | uint64_t ret; |
213 | uint64_t ret; |
214 | 214 | ||
215 | asm volatile ("ttag %0 = %1\n" : "=r" (ret) : "r" (va)); |
215 | asm volatile ("ttag %0 = %1\n" : "=r" (ret) : "r" (va)); |
216 | 216 | ||
217 | return ret; |
217 | return ret; |
218 | } |
218 | } |
219 | 219 | ||
220 | /** Read Region Register. |
220 | /** Read Region Register. |
221 | * |
221 | * |
222 | * @param i Region register index. |
222 | * @param i Region register index. |
223 | * |
223 | * |
224 | * @return Current contents of rr[i]. |
224 | * @return Current contents of rr[i]. |
225 | */ |
225 | */ |
226 | static inline uint64_t rr_read(index_t i) |
226 | static inline uint64_t rr_read(index_t i) |
227 | { |
227 | { |
228 | uint64_t ret; |
228 | uint64_t ret; |
229 | ASSERT(i < REGION_REGISTERS); |
229 | ASSERT(i < REGION_REGISTERS); |
230 | asm volatile ("mov %0 = rr[%1]\n" : "=r" (ret) : "r" (i << VRN_SHIFT)); |
230 | asm volatile ("mov %0 = rr[%1]\n" : "=r" (ret) : "r" (i << VRN_SHIFT)); |
231 | return ret; |
231 | return ret; |
232 | } |
232 | } |
233 | 233 | ||
234 | /** Write Region Register. |
234 | /** Write Region Register. |
235 | * |
235 | * |
236 | * @param i Region register index. |
236 | * @param i Region register index. |
237 | * @param v Value to be written to rr[i]. |
237 | * @param v Value to be written to rr[i]. |
238 | */ |
238 | */ |
239 | static inline void rr_write(index_t i, uint64_t v) |
239 | static inline void rr_write(index_t i, uint64_t v) |
240 | { |
240 | { |
241 | ASSERT(i < REGION_REGISTERS); |
241 | ASSERT(i < REGION_REGISTERS); |
242 | asm volatile ( |
242 | asm volatile ( |
243 | "mov rr[%0] = %1\n" |
243 | "mov rr[%0] = %1\n" |
244 | : |
244 | : |
245 | : "r" (i << VRN_SHIFT), "r" (v) |
245 | : "r" (i << VRN_SHIFT), "r" (v) |
246 | ); |
246 | ); |
247 | } |
247 | } |
248 | 248 | ||
249 | /** Read Page Table Register. |
249 | /** Read Page Table Register. |
250 | * |
250 | * |
251 | * @return Current value stored in PTA. |
251 | * @return Current value stored in PTA. |
252 | */ |
252 | */ |
253 | static inline uint64_t pta_read(void) |
253 | static inline uint64_t pta_read(void) |
254 | { |
254 | { |
255 | uint64_t ret; |
255 | uint64_t ret; |
256 | 256 | ||
257 | asm volatile ("mov %0 = cr.pta\n" : "=r" (ret)); |
257 | asm volatile ("mov %0 = cr.pta\n" : "=r" (ret)); |
258 | 258 | ||
259 | return ret; |
259 | return ret; |
260 | } |
260 | } |
261 | 261 | ||
262 | /** Write Page Table Register. |
262 | /** Write Page Table Register. |
263 | * |
263 | * |
264 | * @param v New value to be stored in PTA. |
264 | * @param v New value to be stored in PTA. |
265 | */ |
265 | */ |
266 | static inline void pta_write(uint64_t v) |
266 | static inline void pta_write(uint64_t v) |
267 | { |
267 | { |
268 | asm volatile ("mov cr.pta = %0\n" : : "r" (v)); |
268 | asm volatile ("mov cr.pta = %0\n" : : "r" (v)); |
269 | } |
269 | } |
270 | 270 | ||
271 | extern void page_arch_init(void); |
271 | extern void page_arch_init(void); |
272 | 272 | ||
273 | extern vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid); |
273 | extern vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid); |
274 | extern bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v); |
274 | extern bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v); |
275 | extern void vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, int flags); |
275 | extern void vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, int flags); |
276 | 276 | ||
277 | #endif /* __ASM__ */ |
277 | #endif /* __ASM__ */ |
278 | 278 | ||
279 | #endif /* KERNEL */ |
279 | #endif /* KERNEL */ |
280 | 280 | ||
281 | #endif |
281 | #endif |
282 | 282 | ||
283 | /** @} |
283 | /** @} |
284 | */ |
284 | */ |
285 | 285 |