]>
Commit | Line | Data |
---|---|---|
94cff60a TS |
1 | /* |
2 | * CRIS mmu emulation. | |
3 | * | |
4 | * Copyright (c) 2007 AXIS Communications AB | |
5 | * Written by Edgar E. Iglesias. | |
6 | * | |
7 | * This library is free software; you can redistribute it and/or | |
8 | * modify it under the terms of the GNU Lesser General Public | |
9 | * License as published by the Free Software Foundation; either | |
10 | * version 2 of the License, or (at your option) any later version. | |
11 | * | |
12 | * This library is distributed in the hope that it will be useful, | |
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
15 | * Lesser General Public License for more details. | |
16 | * | |
17 | * You should have received a copy of the GNU Lesser General Public | |
8167ee88 | 18 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. |
94cff60a TS |
19 | */ |
20 | ||
21 | #ifndef CONFIG_USER_ONLY | |
22 | ||
23 | #include <stdio.h> | |
24 | #include <string.h> | |
25 | #include <stdlib.h> | |
26 | ||
27 | #include "config.h" | |
28 | #include "cpu.h" | |
29 | #include "mmu.h" | |
94cff60a | 30 | |
d297f464 EI |
31 | #ifdef DEBUG |
32 | #define D(x) x | |
02021c3f | 33 | #define D_LOG(...) qemu_log(__VA_ARGS__) |
d297f464 | 34 | #else |
3ffd710e | 35 | #define D(x) do { } while (0) |
d12d51d5 | 36 | #define D_LOG(...) do { } while (0) |
d297f464 | 37 | #endif |
94cff60a | 38 | |
44cd42ee EI |
39 | void cris_mmu_init(CPUState *env) |
40 | { | |
41 | env->mmu_rand_lfsr = 0xcccc; | |
42 | } | |
43 | ||
44 | #define SR_POLYNOM 0x8805 | |
45 | static inline unsigned int compute_polynom(unsigned int sr) | |
46 | { | |
47 | unsigned int i; | |
48 | unsigned int f; | |
49 | ||
50 | f = 0; | |
51 | for (i = 0; i < 16; i++) | |
52 | f += ((SR_POLYNOM >> i) & 1) & ((sr >> i) & 1); | |
53 | ||
54 | return f; | |
55 | } | |
56 | ||
253248a3 EI |
57 | static void cris_mmu_update_rand_lfsr(CPUState *env) |
58 | { | |
59 | unsigned int f; | |
60 | ||
61 | /* Update lfsr at every fault. */ | |
62 | f = compute_polynom(env->mmu_rand_lfsr); | |
63 | env->mmu_rand_lfsr >>= 1; | |
64 | env->mmu_rand_lfsr |= (f << 15); | |
65 | env->mmu_rand_lfsr &= 0xffff; | |
66 | } | |
67 | ||
ef29a70d | 68 | static inline int cris_mmu_enabled(uint32_t rw_gc_cfg) |
94cff60a TS |
69 | { |
70 | return (rw_gc_cfg & 12) != 0; | |
71 | } | |
72 | ||
ef29a70d | 73 | static inline int cris_mmu_segmented_addr(int seg, uint32_t rw_mm_cfg) |
94cff60a TS |
74 | { |
75 | return (1 << seg) & rw_mm_cfg; | |
76 | } | |
77 | ||
78 | static uint32_t cris_mmu_translate_seg(CPUState *env, int seg) | |
79 | { | |
80 | uint32_t base; | |
81 | int i; | |
82 | ||
83 | if (seg < 8) | |
84 | base = env->sregs[SFR_RW_MM_KBASE_LO]; | |
85 | else | |
86 | base = env->sregs[SFR_RW_MM_KBASE_HI]; | |
87 | ||
88 | i = seg & 7; | |
89 | base >>= i * 4; | |
90 | base &= 15; | |
91 | ||
92 | base <<= 28; | |
93 | return base; | |
94 | } | |
95 | /* Used by the tlb decoder. */ | |
96 | #define EXTRACT_FIELD(src, start, end) \ | |
786c02f1 EI |
97 | (((src) >> start) & ((1 << (end - start + 1)) - 1)) |
98 | ||
99 | static inline void set_field(uint32_t *dst, unsigned int val, | |
100 | unsigned int offset, unsigned int width) | |
101 | { | |
102 | uint32_t mask; | |
103 | ||
104 | mask = (1 << width) - 1; | |
105 | mask <<= offset; | |
106 | val <<= offset; | |
107 | ||
108 | val &= mask; | |
786c02f1 EI |
109 | *dst &= ~(mask); |
110 | *dst |= val; | |
111 | } | |
94cff60a | 112 | |
d297f464 | 113 | #ifdef DEBUG |
b41f7df0 EI |
114 | static void dump_tlb(CPUState *env, int mmu) |
115 | { | |
116 | int set; | |
117 | int idx; | |
118 | uint32_t hi, lo, tlb_vpn, tlb_pfn; | |
119 | ||
120 | for (set = 0; set < 4; set++) { | |
121 | for (idx = 0; idx < 16; idx++) { | |
122 | lo = env->tlbsets[mmu][set][idx].lo; | |
123 | hi = env->tlbsets[mmu][set][idx].hi; | |
124 | tlb_vpn = EXTRACT_FIELD(hi, 13, 31); | |
125 | tlb_pfn = EXTRACT_FIELD(lo, 13, 31); | |
126 | ||
127 | printf ("TLB: [%d][%d] hi=%x lo=%x v=%x p=%x\n", | |
128 | set, idx, hi, lo, tlb_vpn, tlb_pfn); | |
129 | } | |
130 | } | |
131 | } | |
d297f464 | 132 | #endif |
b41f7df0 EI |
133 | |
134 | /* rw 0 = read, 1 = write, 2 = exec. */ | |
2fa73ec8 | 135 | static int cris_mmu_translate_page(struct cris_mmu_result *res, |
94cff60a | 136 | CPUState *env, uint32_t vaddr, |
9f5a1fae | 137 | int rw, int usermode, int debug) |
94cff60a TS |
138 | { |
139 | unsigned int vpage; | |
140 | unsigned int idx; | |
b23761f9 | 141 | uint32_t pid, lo, hi; |
786c02f1 EI |
142 | uint32_t tlb_vpn, tlb_pfn = 0; |
143 | int tlb_pid, tlb_g, tlb_v, tlb_k, tlb_w, tlb_x; | |
144 | int cfg_v, cfg_k, cfg_w, cfg_x; | |
b41f7df0 | 145 | int set, match = 0; |
786c02f1 EI |
146 | uint32_t r_cause; |
147 | uint32_t r_cfg; | |
148 | int rwcause; | |
b41f7df0 EI |
149 | int mmu = 1; /* Data mmu is default. */ |
150 | int vect_base; | |
786c02f1 EI |
151 | |
152 | r_cause = env->sregs[SFR_R_MM_CAUSE]; | |
153 | r_cfg = env->sregs[SFR_RW_MM_CFG]; | |
28de16da | 154 | pid = env->pregs[PR_PID] & 0xff; |
b41f7df0 EI |
155 | |
156 | switch (rw) { | |
157 | case 2: rwcause = CRIS_MMU_ERR_EXEC; mmu = 0; break; | |
158 | case 1: rwcause = CRIS_MMU_ERR_WRITE; break; | |
159 | default: | |
160 | case 0: rwcause = CRIS_MMU_ERR_READ; break; | |
161 | } | |
162 | ||
163 | /* I exception vectors 4 - 7, D 8 - 11. */ | |
164 | vect_base = (mmu + 1) * 4; | |
94cff60a TS |
165 | |
166 | vpage = vaddr >> 13; | |
94cff60a TS |
167 | |
168 | /* We know the index which to check on each set. | |
169 | Scan both I and D. */ | |
786c02f1 | 170 | #if 0 |
b41f7df0 EI |
171 | for (set = 0; set < 4; set++) { |
172 | for (idx = 0; idx < 16; idx++) { | |
173 | lo = env->tlbsets[mmu][set][idx].lo; | |
174 | hi = env->tlbsets[mmu][set][idx].hi; | |
786c02f1 EI |
175 | tlb_vpn = EXTRACT_FIELD(hi, 13, 31); |
176 | tlb_pfn = EXTRACT_FIELD(lo, 13, 31); | |
177 | ||
178 | printf ("TLB: [%d][%d] hi=%x lo=%x v=%x p=%x\n", | |
b41f7df0 | 179 | set, idx, hi, lo, tlb_vpn, tlb_pfn); |
786c02f1 EI |
180 | } |
181 | } | |
182 | #endif | |
b41f7df0 EI |
183 | |
184 | idx = vpage & 15; | |
185 | for (set = 0; set < 4; set++) | |
94cff60a | 186 | { |
b41f7df0 EI |
187 | lo = env->tlbsets[mmu][set][idx].lo; |
188 | hi = env->tlbsets[mmu][set][idx].hi; | |
94cff60a | 189 | |
b23761f9 | 190 | tlb_vpn = hi >> 13; |
44cd42ee | 191 | tlb_pid = EXTRACT_FIELD(hi, 0, 7); |
44cd42ee | 192 | tlb_g = EXTRACT_FIELD(lo, 4, 4); |
94cff60a | 193 | |
d12d51d5 AL |
194 | D_LOG("TLB[%d][%d][%d] v=%x vpage=%x lo=%x hi=%x\n", |
195 | mmu, set, idx, tlb_vpn, vpage, lo, hi); | |
b23761f9 | 196 | if ((tlb_g || (tlb_pid == pid)) |
44cd42ee | 197 | && tlb_vpn == vpage) { |
94cff60a TS |
198 | match = 1; |
199 | break; | |
200 | } | |
201 | } | |
202 | ||
b41f7df0 | 203 | res->bf_vec = vect_base; |
94cff60a | 204 | if (match) { |
786c02f1 EI |
205 | cfg_w = EXTRACT_FIELD(r_cfg, 19, 19); |
206 | cfg_k = EXTRACT_FIELD(r_cfg, 18, 18); | |
207 | cfg_x = EXTRACT_FIELD(r_cfg, 17, 17); | |
208 | cfg_v = EXTRACT_FIELD(r_cfg, 16, 16); | |
209 | ||
786c02f1 | 210 | tlb_pfn = EXTRACT_FIELD(lo, 13, 31); |
786c02f1 EI |
211 | tlb_v = EXTRACT_FIELD(lo, 3, 3); |
212 | tlb_k = EXTRACT_FIELD(lo, 2, 2); | |
213 | tlb_w = EXTRACT_FIELD(lo, 1, 1); | |
214 | tlb_x = EXTRACT_FIELD(lo, 0, 0); | |
215 | ||
216 | /* | |
217 | set_exception_vector(0x04, i_mmu_refill); | |
218 | set_exception_vector(0x05, i_mmu_invalid); | |
219 | set_exception_vector(0x06, i_mmu_access); | |
220 | set_exception_vector(0x07, i_mmu_execute); | |
221 | set_exception_vector(0x08, d_mmu_refill); | |
222 | set_exception_vector(0x09, d_mmu_invalid); | |
223 | set_exception_vector(0x0a, d_mmu_access); | |
224 | set_exception_vector(0x0b, d_mmu_write); | |
225 | */ | |
44cd42ee | 226 | if (cfg_k && tlb_k && usermode) { |
ef29a70d EI |
227 | D(printf ("tlb: kernel protected %x lo=%x pc=%x\n", |
228 | vaddr, lo, env->pc)); | |
229 | match = 0; | |
230 | res->bf_vec = vect_base + 2; | |
b41f7df0 | 231 | } else if (rw == 1 && cfg_w && !tlb_w) { |
ef29a70d EI |
232 | D(printf ("tlb: write protected %x lo=%x pc=%x\n", |
233 | vaddr, lo, env->pc)); | |
234 | match = 0; | |
235 | /* write accesses never go through the I mmu. */ | |
236 | res->bf_vec = vect_base + 3; | |
237 | } else if (rw == 2 && cfg_x && !tlb_x) { | |
238 | D(printf ("tlb: exec protected %x lo=%x pc=%x\n", | |
239 | vaddr, lo, env->pc)); | |
786c02f1 | 240 | match = 0; |
b41f7df0 EI |
241 | res->bf_vec = vect_base + 3; |
242 | } else if (cfg_v && !tlb_v) { | |
243 | D(printf ("tlb: invalid %x\n", vaddr)); | |
786c02f1 | 244 | match = 0; |
b41f7df0 | 245 | res->bf_vec = vect_base + 1; |
786c02f1 | 246 | } |
786c02f1 | 247 | |
b41f7df0 EI |
248 | res->prot = 0; |
249 | if (match) { | |
250 | res->prot |= PAGE_READ; | |
251 | if (tlb_w) | |
252 | res->prot |= PAGE_WRITE; | |
58aebb94 | 253 | if (mmu == 0 && (cfg_x || tlb_x)) |
b41f7df0 EI |
254 | res->prot |= PAGE_EXEC; |
255 | } | |
256 | else | |
257 | D(dump_tlb(env, mmu)); | |
44cd42ee EI |
258 | } else { |
259 | /* If refill, provide a randomized set. */ | |
260 | set = env->mmu_rand_lfsr & 3; | |
786c02f1 EI |
261 | } |
262 | ||
9f5a1fae | 263 | if (!match && !debug) { |
253248a3 EI |
264 | cris_mmu_update_rand_lfsr(env); |
265 | ||
44cd42ee | 266 | /* Compute index. */ |
b41f7df0 | 267 | idx = vpage & 15; |
b41f7df0 EI |
268 | |
269 | /* Update RW_MM_TLB_SEL. */ | |
270 | env->sregs[SFR_RW_MM_TLB_SEL] = 0; | |
271 | set_field(&env->sregs[SFR_RW_MM_TLB_SEL], idx, 0, 4); | |
44cd42ee | 272 | set_field(&env->sregs[SFR_RW_MM_TLB_SEL], set, 4, 2); |
b41f7df0 EI |
273 | |
274 | /* Update RW_MM_CAUSE. */ | |
275 | set_field(&r_cause, rwcause, 8, 2); | |
786c02f1 | 276 | set_field(&r_cause, vpage, 13, 19); |
28de16da | 277 | set_field(&r_cause, pid, 0, 8); |
786c02f1 | 278 | env->sregs[SFR_R_MM_CAUSE] = r_cause; |
b41f7df0 | 279 | D(printf("refill vaddr=%x pc=%x\n", vaddr, env->pc)); |
94cff60a | 280 | } |
b41f7df0 | 281 | |
b41f7df0 EI |
282 | D(printf ("%s rw=%d mtch=%d pc=%x va=%x vpn=%x tlbvpn=%x pfn=%x pid=%x" |
283 | " %x cause=%x sel=%x sp=%x %x %x\n", | |
284 | __func__, rw, match, env->pc, | |
786c02f1 EI |
285 | vaddr, vpage, |
286 | tlb_vpn, tlb_pfn, tlb_pid, | |
28de16da | 287 | pid, |
786c02f1 EI |
288 | r_cause, |
289 | env->sregs[SFR_RW_MM_TLB_SEL], | |
b41f7df0 | 290 | env->regs[R_SP], env->pregs[PR_USP], env->ksp)); |
786c02f1 | 291 | |
bf91ada5 | 292 | res->phy = tlb_pfn << TARGET_PAGE_BITS; |
94cff60a TS |
293 | return !match; |
294 | } | |
295 | ||
cf1d97f0 | 296 | void cris_mmu_flush_pid(CPUState *env, uint32_t pid) |
786c02f1 | 297 | { |
cf1d97f0 EI |
298 | target_ulong vaddr; |
299 | unsigned int idx; | |
300 | uint32_t lo, hi; | |
301 | uint32_t tlb_vpn; | |
80e1b265 | 302 | int tlb_pid, tlb_g, tlb_v; |
cf1d97f0 EI |
303 | unsigned int set; |
304 | unsigned int mmu; | |
305 | ||
306 | pid &= 0xff; | |
307 | for (mmu = 0; mmu < 2; mmu++) { | |
308 | for (set = 0; set < 4; set++) | |
309 | { | |
310 | for (idx = 0; idx < 16; idx++) { | |
311 | lo = env->tlbsets[mmu][set][idx].lo; | |
312 | hi = env->tlbsets[mmu][set][idx].hi; | |
313 | ||
314 | tlb_vpn = EXTRACT_FIELD(hi, 13, 31); | |
315 | tlb_pid = EXTRACT_FIELD(hi, 0, 7); | |
316 | tlb_g = EXTRACT_FIELD(lo, 4, 4); | |
317 | tlb_v = EXTRACT_FIELD(lo, 3, 3); | |
cf1d97f0 | 318 | |
80e1b265 | 319 | if (tlb_v && !tlb_g && (tlb_pid == pid)) { |
cf1d97f0 | 320 | vaddr = tlb_vpn << TARGET_PAGE_BITS; |
d12d51d5 AL |
321 | D_LOG("flush pid=%x vaddr=%x\n", |
322 | pid, vaddr); | |
cf1d97f0 EI |
323 | tlb_flush_page(env, vaddr); |
324 | } | |
325 | } | |
326 | } | |
327 | } | |
786c02f1 EI |
328 | } |
329 | ||
2fa73ec8 | 330 | int cris_mmu_translate(struct cris_mmu_result *res, |
94cff60a | 331 | CPUState *env, uint32_t vaddr, |
9f5a1fae | 332 | int rw, int mmu_idx, int debug) |
94cff60a | 333 | { |
94cff60a TS |
334 | int seg; |
335 | int miss = 0; | |
786c02f1 | 336 | int is_user = mmu_idx == MMU_USER_IDX; |
b41f7df0 EI |
337 | uint32_t old_srs; |
338 | ||
339 | old_srs= env->pregs[PR_SRS]; | |
340 | ||
341 | /* rw == 2 means exec, map the access to the insn mmu. */ | |
342 | env->pregs[PR_SRS] = rw == 2 ? 1 : 2; | |
94cff60a TS |
343 | |
344 | if (!cris_mmu_enabled(env->sregs[SFR_RW_GC_CFG])) { | |
345 | res->phy = vaddr; | |
b23761f9 | 346 | res->prot = PAGE_BITS; |
b41f7df0 | 347 | goto done; |
94cff60a TS |
348 | } |
349 | ||
350 | seg = vaddr >> 28; | |
218951ef | 351 | if (!is_user && cris_mmu_segmented_addr(seg, env->sregs[SFR_RW_MM_CFG])) |
94cff60a TS |
352 | { |
353 | uint32_t base; | |
354 | ||
355 | miss = 0; | |
356 | base = cris_mmu_translate_seg(env, seg); | |
0d84be5b | 357 | res->phy = base | (0x0fffffff & vaddr); |
b23761f9 | 358 | res->prot = PAGE_BITS; |
9f5a1fae EI |
359 | } else { |
360 | miss = cris_mmu_translate_page(res, env, vaddr, rw, | |
361 | is_user, debug); | |
94cff60a | 362 | } |
b41f7df0 EI |
363 | done: |
364 | env->pregs[PR_SRS] = old_srs; | |
94cff60a TS |
365 | return miss; |
366 | } | |
367 | #endif |