Teach block/vdi about "discarded" (no longer allocated) blocks
[qemu.git] / target-cris / mmu.c
blobd481e39352d282be7d03cc64b5f9f4418d069806
1 /*
2 * CRIS mmu emulation.
4 * Copyright (c) 2007 AXIS Communications AB
5 * Written by Edgar E. Iglesias.
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.
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.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
21 #ifndef CONFIG_USER_ONLY
23 #include <stdio.h>
24 #include <string.h>
25 #include <stdlib.h>
27 #include "config.h"
28 #include "cpu.h"
29 #include "mmu.h"
31 #ifdef DEBUG
32 #define D(x) x
33 #define D_LOG(...) qemu_log(__VA_ARGS__)
34 #else
35 #define D(x) do { } while (0)
36 #define D_LOG(...) do { } while (0)
37 #endif
39 void cris_mmu_init(CPUState *env)
41 env->mmu_rand_lfsr = 0xcccc;
44 #define SR_POLYNOM 0x8805
45 static inline unsigned int compute_polynom(unsigned int sr)
47 unsigned int i;
48 unsigned int f;
50 f = 0;
51 for (i = 0; i < 16; i++)
52 f += ((SR_POLYNOM >> i) & 1) & ((sr >> i) & 1);
54 return f;
57 static void cris_mmu_update_rand_lfsr(CPUState *env)
59 unsigned int f;
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;
68 static inline int cris_mmu_enabled(uint32_t rw_gc_cfg)
70 return (rw_gc_cfg & 12) != 0;
73 static inline int cris_mmu_segmented_addr(int seg, uint32_t rw_mm_cfg)
75 return (1 << seg) & rw_mm_cfg;
78 static uint32_t cris_mmu_translate_seg(CPUState *env, int seg)
80 uint32_t base;
81 int i;
83 if (seg < 8)
84 base = env->sregs[SFR_RW_MM_KBASE_LO];
85 else
86 base = env->sregs[SFR_RW_MM_KBASE_HI];
88 i = seg & 7;
89 base >>= i * 4;
90 base &= 15;
92 base <<= 28;
93 return base;
95 /* Used by the tlb decoder. */
96 #define EXTRACT_FIELD(src, start, end) \
97 (((src) >> start) & ((1 << (end - start + 1)) - 1))
99 static inline void set_field(uint32_t *dst, unsigned int val,
100 unsigned int offset, unsigned int width)
102 uint32_t mask;
104 mask = (1 << width) - 1;
105 mask <<= offset;
106 val <<= offset;
108 val &= mask;
109 *dst &= ~(mask);
110 *dst |= val;
113 #ifdef DEBUG
114 static void dump_tlb(CPUState *env, int mmu)
116 int set;
117 int idx;
118 uint32_t hi, lo, tlb_vpn, tlb_pfn;
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);
127 printf ("TLB: [%d][%d] hi=%x lo=%x v=%x p=%x\n",
128 set, idx, hi, lo, tlb_vpn, tlb_pfn);
132 #endif
134 /* rw 0 = read, 1 = write, 2 = exec. */
135 static int cris_mmu_translate_page(struct cris_mmu_result *res,
136 CPUState *env, uint32_t vaddr,
137 int rw, int usermode, int debug)
139 unsigned int vpage;
140 unsigned int idx;
141 uint32_t pid, lo, hi;
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;
145 int set, match = 0;
146 uint32_t r_cause;
147 uint32_t r_cfg;
148 int rwcause;
149 int mmu = 1; /* Data mmu is default. */
150 int vect_base;
152 r_cause = env->sregs[SFR_R_MM_CAUSE];
153 r_cfg = env->sregs[SFR_RW_MM_CFG];
154 pid = env->pregs[PR_PID] & 0xff;
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;
163 /* I exception vectors 4 - 7, D 8 - 11. */
164 vect_base = (mmu + 1) * 4;
166 vpage = vaddr >> 13;
168 /* We know the index which to check on each set.
169 Scan both I and D. */
170 #if 0
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;
175 tlb_vpn = EXTRACT_FIELD(hi, 13, 31);
176 tlb_pfn = EXTRACT_FIELD(lo, 13, 31);
178 printf ("TLB: [%d][%d] hi=%x lo=%x v=%x p=%x\n",
179 set, idx, hi, lo, tlb_vpn, tlb_pfn);
182 #endif
184 idx = vpage & 15;
185 for (set = 0; set < 4; set++)
187 lo = env->tlbsets[mmu][set][idx].lo;
188 hi = env->tlbsets[mmu][set][idx].hi;
190 tlb_vpn = hi >> 13;
191 tlb_pid = EXTRACT_FIELD(hi, 0, 7);
192 tlb_g = EXTRACT_FIELD(lo, 4, 4);
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);
196 if ((tlb_g || (tlb_pid == pid))
197 && tlb_vpn == vpage) {
198 match = 1;
199 break;
203 res->bf_vec = vect_base;
204 if (match) {
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);
210 tlb_pfn = EXTRACT_FIELD(lo, 13, 31);
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);
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);
226 if (cfg_k && tlb_k && usermode) {
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;
231 } else if (rw == 1 && cfg_w && !tlb_w) {
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));
240 match = 0;
241 res->bf_vec = vect_base + 3;
242 } else if (cfg_v && !tlb_v) {
243 D(printf ("tlb: invalid %x\n", vaddr));
244 match = 0;
245 res->bf_vec = vect_base + 1;
248 res->prot = 0;
249 if (match) {
250 res->prot |= PAGE_READ;
251 if (tlb_w)
252 res->prot |= PAGE_WRITE;
253 if (mmu == 0 && (cfg_x || tlb_x))
254 res->prot |= PAGE_EXEC;
256 else
257 D(dump_tlb(env, mmu));
258 } else {
259 /* If refill, provide a randomized set. */
260 set = env->mmu_rand_lfsr & 3;
263 if (!match && !debug) {
264 cris_mmu_update_rand_lfsr(env);
266 /* Compute index. */
267 idx = vpage & 15;
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);
272 set_field(&env->sregs[SFR_RW_MM_TLB_SEL], set, 4, 2);
274 /* Update RW_MM_CAUSE. */
275 set_field(&r_cause, rwcause, 8, 2);
276 set_field(&r_cause, vpage, 13, 19);
277 set_field(&r_cause, pid, 0, 8);
278 env->sregs[SFR_R_MM_CAUSE] = r_cause;
279 D(printf("refill vaddr=%x pc=%x\n", vaddr, env->pc));
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,
285 vaddr, vpage,
286 tlb_vpn, tlb_pfn, tlb_pid,
287 pid,
288 r_cause,
289 env->sregs[SFR_RW_MM_TLB_SEL],
290 env->regs[R_SP], env->pregs[PR_USP], env->ksp));
292 res->phy = tlb_pfn << TARGET_PAGE_BITS;
293 return !match;
296 void cris_mmu_flush_pid(CPUState *env, uint32_t pid)
298 target_ulong vaddr;
299 unsigned int idx;
300 uint32_t lo, hi;
301 uint32_t tlb_vpn;
302 int tlb_pid, tlb_g, tlb_v;
303 unsigned int set;
304 unsigned int mmu;
306 pid &= 0xff;
307 for (mmu = 0; mmu < 2; mmu++) {
308 for (set = 0; set < 4; set++)
310 for (idx = 0; idx < 16; idx++) {
311 lo = env->tlbsets[mmu][set][idx].lo;
312 hi = env->tlbsets[mmu][set][idx].hi;
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);
319 if (tlb_v && !tlb_g && (tlb_pid == pid)) {
320 vaddr = tlb_vpn << TARGET_PAGE_BITS;
321 D_LOG("flush pid=%x vaddr=%x\n",
322 pid, vaddr);
323 tlb_flush_page(env, vaddr);
330 int cris_mmu_translate(struct cris_mmu_result *res,
331 CPUState *env, uint32_t vaddr,
332 int rw, int mmu_idx, int debug)
334 int seg;
335 int miss = 0;
336 int is_user = mmu_idx == MMU_USER_IDX;
337 uint32_t old_srs;
339 old_srs= env->pregs[PR_SRS];
341 /* rw == 2 means exec, map the access to the insn mmu. */
342 env->pregs[PR_SRS] = rw == 2 ? 1 : 2;
344 if (!cris_mmu_enabled(env->sregs[SFR_RW_GC_CFG])) {
345 res->phy = vaddr;
346 res->prot = PAGE_BITS;
347 goto done;
350 seg = vaddr >> 28;
351 if (!is_user && cris_mmu_segmented_addr(seg, env->sregs[SFR_RW_MM_CFG]))
353 uint32_t base;
355 miss = 0;
356 base = cris_mmu_translate_seg(env, seg);
357 res->phy = base | (0x0fffffff & vaddr);
358 res->prot = PAGE_BITS;
359 } else {
360 miss = cris_mmu_translate_page(res, env, vaddr, rw,
361 is_user, debug);
363 done:
364 env->pregs[PR_SRS] = old_srs;
365 return miss;
367 #endif