]> git.proxmox.com Git - qemu.git/blame - target-ppc/mmu-hash64.c
mmu-hash*: Clean up permission checking
[qemu.git] / target-ppc / mmu-hash64.c
CommitLineData
10b46525
DG
1/*
2 * PowerPC MMU, TLB, SLB and BAT emulation helpers for QEMU.
3 *
4 * Copyright (c) 2003-2007 Jocelyn Mayer
5 * Copyright (c) 2013 David Gibson, IBM Corporation
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
18 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19 */
20#include "cpu.h"
21#include "helper.h"
22#include "sysemu/kvm.h"
23#include "kvm_ppc.h"
24#include "mmu-hash64.h"
25
9d7c3f4a 26//#define DEBUG_MMU
10b46525
DG
27//#define DEBUG_SLB
28
9d7c3f4a
DG
29#ifdef DEBUG_MMU
30# define LOG_MMU(...) qemu_log(__VA_ARGS__)
31# define LOG_MMU_STATE(env) log_cpu_state((env), 0)
32#else
33# define LOG_MMU(...) do { } while (0)
34# define LOG_MMU_STATE(...) do { } while (0)
35#endif
36
10b46525
DG
37#ifdef DEBUG_SLB
38# define LOG_SLB(...) qemu_log(__VA_ARGS__)
39#else
40# define LOG_SLB(...) do { } while (0)
41#endif
42
5dc68eb0
DG
43struct mmu_ctx_hash64 {
44 hwaddr raddr; /* Real address */
5dc68eb0 45 int prot; /* Protection bits */
5dc68eb0
DG
46};
47
10b46525
DG
48/*
49 * SLB handling
50 */
51
0480884f 52static ppc_slb_t *slb_lookup(CPUPPCState *env, target_ulong eaddr)
10b46525
DG
53{
54 uint64_t esid_256M, esid_1T;
55 int n;
56
57 LOG_SLB("%s: eaddr " TARGET_FMT_lx "\n", __func__, eaddr);
58
59 esid_256M = (eaddr & SEGMENT_MASK_256M) | SLB_ESID_V;
60 esid_1T = (eaddr & SEGMENT_MASK_1T) | SLB_ESID_V;
61
62 for (n = 0; n < env->slb_nr; n++) {
63 ppc_slb_t *slb = &env->slb[n];
64
65 LOG_SLB("%s: slot %d %016" PRIx64 " %016"
66 PRIx64 "\n", __func__, n, slb->esid, slb->vsid);
67 /* We check for 1T matches on all MMUs here - if the MMU
68 * doesn't have 1T segment support, we will have prevented 1T
69 * entries from being inserted in the slbmte code. */
70 if (((slb->esid == esid_256M) &&
71 ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_256M))
72 || ((slb->esid == esid_1T) &&
73 ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_1T))) {
74 return slb;
75 }
76 }
77
78 return NULL;
79}
80
81void dump_slb(FILE *f, fprintf_function cpu_fprintf, CPUPPCState *env)
82{
83 int i;
84 uint64_t slbe, slbv;
85
86 cpu_synchronize_state(env);
87
88 cpu_fprintf(f, "SLB\tESID\t\t\tVSID\n");
89 for (i = 0; i < env->slb_nr; i++) {
90 slbe = env->slb[i].esid;
91 slbv = env->slb[i].vsid;
92 if (slbe == 0 && slbv == 0) {
93 continue;
94 }
95 cpu_fprintf(f, "%d\t0x%016" PRIx64 "\t0x%016" PRIx64 "\n",
96 i, slbe, slbv);
97 }
98}
99
100void helper_slbia(CPUPPCState *env)
101{
102 int n, do_invalidate;
103
104 do_invalidate = 0;
105 /* XXX: Warning: slbia never invalidates the first segment */
106 for (n = 1; n < env->slb_nr; n++) {
107 ppc_slb_t *slb = &env->slb[n];
108
109 if (slb->esid & SLB_ESID_V) {
110 slb->esid &= ~SLB_ESID_V;
111 /* XXX: given the fact that segment size is 256 MB or 1TB,
112 * and we still don't have a tlb_flush_mask(env, n, mask)
113 * in QEMU, we just invalidate all TLBs
114 */
115 do_invalidate = 1;
116 }
117 }
118 if (do_invalidate) {
119 tlb_flush(env, 1);
120 }
121}
122
123void helper_slbie(CPUPPCState *env, target_ulong addr)
124{
125 ppc_slb_t *slb;
126
127 slb = slb_lookup(env, addr);
128 if (!slb) {
129 return;
130 }
131
132 if (slb->esid & SLB_ESID_V) {
133 slb->esid &= ~SLB_ESID_V;
134
135 /* XXX: given the fact that segment size is 256 MB or 1TB,
136 * and we still don't have a tlb_flush_mask(env, n, mask)
137 * in QEMU, we just invalidate all TLBs
138 */
139 tlb_flush(env, 1);
140 }
141}
142
143int ppc_store_slb(CPUPPCState *env, target_ulong rb, target_ulong rs)
144{
145 int slot = rb & 0xfff;
146 ppc_slb_t *slb = &env->slb[slot];
147
148 if (rb & (0x1000 - env->slb_nr)) {
149 return -1; /* Reserved bits set or slot too high */
150 }
151 if (rs & (SLB_VSID_B & ~SLB_VSID_B_1T)) {
152 return -1; /* Bad segment size */
153 }
154 if ((rs & SLB_VSID_B) && !(env->mmu_model & POWERPC_MMU_1TSEG)) {
155 return -1; /* 1T segment on MMU that doesn't support it */
156 }
157
158 /* Mask out the slot number as we store the entry */
159 slb->esid = rb & (SLB_ESID_ESID | SLB_ESID_V);
160 slb->vsid = rs;
161
162 LOG_SLB("%s: %d " TARGET_FMT_lx " - " TARGET_FMT_lx " => %016" PRIx64
163 " %016" PRIx64 "\n", __func__, slot, rb, rs,
164 slb->esid, slb->vsid);
165
166 return 0;
167}
168
169static int ppc_load_slb_esid(CPUPPCState *env, target_ulong rb,
170 target_ulong *rt)
171{
172 int slot = rb & 0xfff;
173 ppc_slb_t *slb = &env->slb[slot];
174
175 if (slot >= env->slb_nr) {
176 return -1;
177 }
178
179 *rt = slb->esid;
180 return 0;
181}
182
183static int ppc_load_slb_vsid(CPUPPCState *env, target_ulong rb,
184 target_ulong *rt)
185{
186 int slot = rb & 0xfff;
187 ppc_slb_t *slb = &env->slb[slot];
188
189 if (slot >= env->slb_nr) {
190 return -1;
191 }
192
193 *rt = slb->vsid;
194 return 0;
195}
196
197void helper_store_slb(CPUPPCState *env, target_ulong rb, target_ulong rs)
198{
199 if (ppc_store_slb(env, rb, rs) < 0) {
200 helper_raise_exception_err(env, POWERPC_EXCP_PROGRAM,
201 POWERPC_EXCP_INVAL);
202 }
203}
204
205target_ulong helper_load_slb_esid(CPUPPCState *env, target_ulong rb)
206{
207 target_ulong rt = 0;
208
209 if (ppc_load_slb_esid(env, rb, &rt) < 0) {
210 helper_raise_exception_err(env, POWERPC_EXCP_PROGRAM,
211 POWERPC_EXCP_INVAL);
212 }
213 return rt;
214}
215
216target_ulong helper_load_slb_vsid(CPUPPCState *env, target_ulong rb)
217{
218 target_ulong rt = 0;
219
220 if (ppc_load_slb_vsid(env, rb, &rt) < 0) {
221 helper_raise_exception_err(env, POWERPC_EXCP_PROGRAM,
222 POWERPC_EXCP_INVAL);
223 }
224 return rt;
225}
9d7c3f4a
DG
226
227/*
228 * 64-bit hash table MMU handling
229 */
230
e01b4445
DG
231static int ppc_hash64_pte_prot(CPUPPCState *env,
232 ppc_slb_t *slb, ppc_hash_pte64_t pte)
496272a7 233{
e01b4445
DG
234 unsigned pp, key;
235 /* Some pp bit combinations have undefined behaviour, so default
236 * to no access in those cases */
237 int prot = 0;
238
239 key = !!(msr_pr ? (slb->vsid & SLB_VSID_KP)
240 : (slb->vsid & SLB_VSID_KS));
241 pp = (pte.pte1 & HPTE64_R_PP) | ((pte.pte1 & HPTE64_R_PP0) >> 61);
496272a7 242
496272a7
DG
243 if (key == 0) {
244 switch (pp) {
245 case 0x0:
246 case 0x1:
247 case 0x2:
e01b4445
DG
248 prot = PAGE_READ | PAGE_WRITE;
249 break;
250
496272a7
DG
251 case 0x3:
252 case 0x6:
e01b4445 253 prot = PAGE_READ;
496272a7
DG
254 break;
255 }
256 } else {
257 switch (pp) {
258 case 0x0:
259 case 0x6:
e01b4445 260 prot = 0;
496272a7 261 break;
e01b4445 262
496272a7
DG
263 case 0x1:
264 case 0x3:
e01b4445 265 prot = PAGE_READ;
496272a7 266 break;
e01b4445 267
496272a7 268 case 0x2:
e01b4445 269 prot = PAGE_READ | PAGE_WRITE;
496272a7
DG
270 break;
271 }
272 }
496272a7 273
e01b4445
DG
274 /* No execute if either noexec or guarded bits set */
275 if (!(pte.pte1 & HPTE64_R_N) || (pte.pte1 & HPTE64_R_G)) {
276 prot |= PAGE_EXEC;
496272a7
DG
277 }
278
e01b4445 279 return prot;
496272a7
DG
280}
281
5dc68eb0 282static int ppc_hash64_pte_update_flags(struct mmu_ctx_hash64 *ctx,
aea390e4 283 uint64_t *pte1p, int ret, int rw)
496272a7
DG
284{
285 int store = 0;
286
287 /* Update page flags */
d5aea6f3 288 if (!(*pte1p & HPTE64_R_R)) {
496272a7 289 /* Update accessed flag */
d5aea6f3 290 *pte1p |= HPTE64_R_R;
496272a7
DG
291 store = 1;
292 }
d5aea6f3 293 if (!(*pte1p & HPTE64_R_C)) {
496272a7
DG
294 if (rw == 1 && ret == 0) {
295 /* Update changed flag */
d5aea6f3 296 *pte1p |= HPTE64_R_C;
496272a7
DG
297 store = 1;
298 } else {
299 /* Force page fault for first write access */
300 ctx->prot &= ~PAGE_WRITE;
301 }
302 }
303
304 return store;
305}
306
aea390e4
DG
307static hwaddr ppc_hash64_pteg_search(CPUPPCState *env, hwaddr pteg_off,
308 bool secondary, target_ulong ptem,
309 ppc_hash_pte64_t *pte)
310{
311 hwaddr pte_offset = pteg_off;
312 target_ulong pte0, pte1;
313 int i;
314
315 for (i = 0; i < HPTES_PER_GROUP; i++) {
316 pte0 = ppc_hash64_load_hpte0(env, pte_offset);
317 pte1 = ppc_hash64_load_hpte1(env, pte_offset);
318
319 if ((pte0 & HPTE64_V_VALID)
320 && (secondary == !!(pte0 & HPTE64_V_SECONDARY))
321 && HPTE64_V_COMPARE(pte0, ptem)) {
322 pte->pte0 = pte0;
323 pte->pte1 = pte1;
324 return pte_offset;
325 }
326
327 pte_offset += HASH_PTE_SIZE_64;
328 }
329
330 return -1;
331}
332
7f3bdc2d
DG
333static hwaddr ppc_hash64_htab_lookup(CPUPPCState *env,
334 ppc_slb_t *slb, target_ulong eaddr,
335 ppc_hash_pte64_t *pte)
c69b6151 336{
aea390e4 337 hwaddr pteg_off, pte_offset;
a1ff751a 338 hwaddr hash;
18148898 339 uint64_t vsid, epnshift, epnmask, epn, ptem;
a1ff751a 340
18148898
DG
341 /* Page size according to the SLB, which we use to generate the
342 * EPN for hash table lookup.. When we implement more recent MMU
343 * extensions this might be different from the actual page size
344 * encoded in the PTE */
345 epnshift = (slb->vsid & SLB_VSID_L)
a1ff751a 346 ? TARGET_PAGE_BITS_16M : TARGET_PAGE_BITS;
18148898 347 epnmask = ~((1ULL << epnshift) - 1);
a1ff751a 348
a1ff751a 349 if (slb->vsid & SLB_VSID_B) {
18148898
DG
350 /* 1TB segment */
351 vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT_1T;
352 epn = (eaddr & ~SEGMENT_MASK_1T) & epnmask;
353 hash = vsid ^ (vsid << 25) ^ (epn >> epnshift);
a1ff751a 354 } else {
18148898
DG
355 /* 256M segment */
356 vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT;
357 epn = (eaddr & ~SEGMENT_MASK_256M) & epnmask;
358 hash = vsid ^ (epn >> epnshift);
a1ff751a 359 }
18148898 360 ptem = (slb->vsid & SLB_VSID_PTEM) | ((epn >> 16) & HPTE64_V_AVPN);
a1ff751a 361
a1ff751a
DG
362 /* Page address translation */
363 LOG_MMU("htab_base " TARGET_FMT_plx " htab_mask " TARGET_FMT_plx
364 " hash " TARGET_FMT_plx "\n",
365 env->htab_base, env->htab_mask, hash);
366
a1ff751a
DG
367 /* Primary PTEG lookup */
368 LOG_MMU("0 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx
369 " vsid=" TARGET_FMT_lx " ptem=" TARGET_FMT_lx
370 " hash=" TARGET_FMT_plx "\n",
371 env->htab_base, env->htab_mask, vsid, ptem, hash);
372 pteg_off = (hash * HASH_PTEG_SIZE_64) & env->htab_mask;
7f3bdc2d
DG
373 pte_offset = ppc_hash64_pteg_search(env, pteg_off, 0, ptem, pte);
374
a1ff751a
DG
375 if (pte_offset == -1) {
376 /* Secondary PTEG lookup */
377 LOG_MMU("1 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx
378 " vsid=" TARGET_FMT_lx " api=" TARGET_FMT_lx
379 " hash=" TARGET_FMT_plx "\n", env->htab_base,
380 env->htab_mask, vsid, ptem, ~hash);
381
382 pteg_off = (~hash * HASH_PTEG_SIZE_64) & env->htab_mask;
7f3bdc2d 383 pte_offset = ppc_hash64_pteg_search(env, pteg_off, 1, ptem, pte);
a1ff751a
DG
384 }
385
7f3bdc2d 386 return pte_offset;
c69b6151 387}
0480884f 388
65d61643
DG
389static int ppc_hash64_translate(CPUPPCState *env, struct mmu_ctx_hash64 *ctx,
390 target_ulong eaddr, int rwx)
0480884f 391{
0480884f 392 ppc_slb_t *slb;
7f3bdc2d
DG
393 hwaddr pte_offset;
394 ppc_hash_pte64_t pte;
395 int target_page_bits;
e01b4445 396 const int need_prot[] = {PAGE_READ, PAGE_WRITE, PAGE_EXEC};
0480884f 397
6a980110
DG
398 assert((rwx == 0) || (rwx == 1) || (rwx == 2));
399
65d61643
DG
400 /* 1. Handle real mode accesses */
401 if (((rwx == 2) && (msr_ir == 0)) || ((rwx != 2) && (msr_dr == 0))) {
402 /* Translation is off */
403 /* In real mode the top 4 effective address bits are ignored */
404 ctx->raddr = eaddr & 0x0FFFFFFFFFFFFFFFULL;
405 ctx->prot = PAGE_READ | PAGE_EXEC | PAGE_WRITE;
406 return 0;
407 }
408
bb218042 409 /* 2. Translation is on, so look up the SLB */
0480884f 410 slb = slb_lookup(env, eaddr);
bb218042 411
0480884f
DG
412 if (!slb) {
413 return -5;
414 }
415
bb218042
DG
416 /* 3. Check for segment level no-execute violation */
417 if ((rwx == 2) && (slb->vsid & SLB_VSID_N)) {
418 return -3;
419 }
420
7f3bdc2d
DG
421 /* 4. Locate the PTE in the hash table */
422 pte_offset = ppc_hash64_htab_lookup(env, slb, eaddr, &pte);
423 if (pte_offset == -1) {
424 return -1;
425 }
426 LOG_MMU("found PTE at offset %08" HWADDR_PRIx "\n", pte_offset);
427
428 /* 5. Check access permissions */
7f3bdc2d 429
e01b4445 430 ctx->prot = ppc_hash64_pte_prot(env, slb, pte);
6a980110 431
e01b4445 432 if ((need_prot[rwx] & ~ctx->prot) != 0) {
6a980110
DG
433 /* Access right violation */
434 LOG_MMU("PTE access rejected\n");
e01b4445 435 return -2;
6a980110
DG
436 }
437
87dc3fd1
DG
438 LOG_MMU("PTE access granted !\n");
439
440 /* 6. Update PTE referenced and changed bits if necessary */
441
e01b4445 442 if (ppc_hash64_pte_update_flags(ctx, &pte.pte1, 0, rwx) == 1) {
7f3bdc2d
DG
443 ppc_hash64_store_hpte1(env, pte_offset, pte.pte1);
444 }
0480884f 445
e01b4445
DG
446 /* Keep the matching PTE informations */
447 ctx->raddr = pte.pte1;
448
7f3bdc2d
DG
449 /* We have a TLB that saves 4K pages, so let's
450 * split a huge page to 4k chunks */
451 target_page_bits = (slb->vsid & SLB_VSID_L)
452 ? TARGET_PAGE_BITS_16M : TARGET_PAGE_BITS;
453 if (target_page_bits != TARGET_PAGE_BITS) {
454 ctx->raddr |= (eaddr & ((1 << target_page_bits) - 1))
455 & TARGET_PAGE_MASK;
456 }
e01b4445 457 return 0;
0480884f 458}
629bd516 459
f2ad6be8
DG
460hwaddr ppc_hash64_get_phys_page_debug(CPUPPCState *env, target_ulong addr)
461{
5dc68eb0 462 struct mmu_ctx_hash64 ctx;
f2ad6be8 463
65d61643 464 if (unlikely(ppc_hash64_translate(env, &ctx, addr, 0) != 0)) {
f2ad6be8
DG
465 return -1;
466 }
467
468 return ctx.raddr & TARGET_PAGE_MASK;
469}
470
91cda45b 471int ppc_hash64_handle_mmu_fault(CPUPPCState *env, target_ulong address, int rwx,
25de24ab
DG
472 int mmu_idx)
473{
5dc68eb0 474 struct mmu_ctx_hash64 ctx;
25de24ab
DG
475 int ret = 0;
476
65d61643 477 ret = ppc_hash64_translate(env, &ctx, address, rwx);
25de24ab
DG
478 if (ret == 0) {
479 tlb_set_page(env, address & TARGET_PAGE_MASK,
480 ctx.raddr & TARGET_PAGE_MASK, ctx.prot,
481 mmu_idx, TARGET_PAGE_SIZE);
482 ret = 0;
483 } else if (ret < 0) {
484 LOG_MMU_STATE(env);
91cda45b 485 if (rwx == 2) {
25de24ab
DG
486 switch (ret) {
487 case -1:
488 env->exception_index = POWERPC_EXCP_ISI;
489 env->error_code = 0x40000000;
490 break;
491 case -2:
492 /* Access rights violation */
493 env->exception_index = POWERPC_EXCP_ISI;
494 env->error_code = 0x08000000;
495 break;
496 case -3:
497 /* No execute protection violation */
498 env->exception_index = POWERPC_EXCP_ISI;
499 env->error_code = 0x10000000;
500 break;
501 case -5:
502 /* No match in segment table */
503 env->exception_index = POWERPC_EXCP_ISEG;
504 env->error_code = 0;
505 break;
506 }
507 } else {
508 switch (ret) {
509 case -1:
510 /* No matches in page tables or TLB */
511 env->exception_index = POWERPC_EXCP_DSI;
512 env->error_code = 0;
513 env->spr[SPR_DAR] = address;
91cda45b 514 if (rwx == 1) {
25de24ab
DG
515 env->spr[SPR_DSISR] = 0x42000000;
516 } else {
517 env->spr[SPR_DSISR] = 0x40000000;
518 }
519 break;
520 case -2:
521 /* Access rights violation */
522 env->exception_index = POWERPC_EXCP_DSI;
523 env->error_code = 0;
524 env->spr[SPR_DAR] = address;
91cda45b 525 if (rwx == 1) {
25de24ab
DG
526 env->spr[SPR_DSISR] = 0x0A000000;
527 } else {
528 env->spr[SPR_DSISR] = 0x08000000;
529 }
530 break;
531 case -5:
532 /* No match in segment table */
533 env->exception_index = POWERPC_EXCP_DSEG;
534 env->error_code = 0;
535 env->spr[SPR_DAR] = address;
536 break;
537 }
538 }
539#if 0
540 printf("%s: set exception to %d %02x\n", __func__,
541 env->exception, env->error_code);
542#endif
543 ret = 1;
544 }
545
546 return ret;
547}