]>
Commit | Line | Data |
---|---|---|
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 | */ | |
0d75590d | 20 | #include "qemu/osdep.h" |
10b46525 | 21 | #include "cpu.h" |
63c91552 | 22 | #include "exec/exec-all.h" |
2ef6175a | 23 | #include "exec/helper-proto.h" |
cd6a9bb6 | 24 | #include "qemu/error-report.h" |
b3946626 | 25 | #include "sysemu/hw_accel.h" |
10b46525 DG |
26 | #include "kvm_ppc.h" |
27 | #include "mmu-hash64.h" | |
508127e2 | 28 | #include "exec/log.h" |
7222b94a | 29 | #include "hw/hw.h" |
b2899495 | 30 | #include "mmu-book3s-v3.h" |
10b46525 DG |
31 | |
32 | //#define DEBUG_SLB | |
33 | ||
34 | #ifdef DEBUG_SLB | |
48880da6 | 35 | # define LOG_SLB(...) qemu_log_mask(CPU_LOG_MMU, __VA_ARGS__) |
10b46525 DG |
36 | #else |
37 | # define LOG_SLB(...) do { } while (0) | |
38 | #endif | |
39 | ||
40 | /* | |
41 | * SLB handling | |
42 | */ | |
43 | ||
7ef23068 | 44 | static ppc_slb_t *slb_lookup(PowerPCCPU *cpu, target_ulong eaddr) |
10b46525 | 45 | { |
7ef23068 | 46 | CPUPPCState *env = &cpu->env; |
10b46525 DG |
47 | uint64_t esid_256M, esid_1T; |
48 | int n; | |
49 | ||
50 | LOG_SLB("%s: eaddr " TARGET_FMT_lx "\n", __func__, eaddr); | |
51 | ||
52 | esid_256M = (eaddr & SEGMENT_MASK_256M) | SLB_ESID_V; | |
53 | esid_1T = (eaddr & SEGMENT_MASK_1T) | SLB_ESID_V; | |
54 | ||
55 | for (n = 0; n < env->slb_nr; n++) { | |
56 | ppc_slb_t *slb = &env->slb[n]; | |
57 | ||
58 | LOG_SLB("%s: slot %d %016" PRIx64 " %016" | |
59 | PRIx64 "\n", __func__, n, slb->esid, slb->vsid); | |
60 | /* We check for 1T matches on all MMUs here - if the MMU | |
61 | * doesn't have 1T segment support, we will have prevented 1T | |
62 | * entries from being inserted in the slbmte code. */ | |
63 | if (((slb->esid == esid_256M) && | |
64 | ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_256M)) | |
65 | || ((slb->esid == esid_1T) && | |
66 | ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_1T))) { | |
67 | return slb; | |
68 | } | |
69 | } | |
70 | ||
71 | return NULL; | |
72 | } | |
73 | ||
7ef23068 | 74 | void dump_slb(FILE *f, fprintf_function cpu_fprintf, PowerPCCPU *cpu) |
10b46525 | 75 | { |
7ef23068 | 76 | CPUPPCState *env = &cpu->env; |
10b46525 DG |
77 | int i; |
78 | uint64_t slbe, slbv; | |
79 | ||
7ef23068 | 80 | cpu_synchronize_state(CPU(cpu)); |
10b46525 DG |
81 | |
82 | cpu_fprintf(f, "SLB\tESID\t\t\tVSID\n"); | |
83 | for (i = 0; i < env->slb_nr; i++) { | |
84 | slbe = env->slb[i].esid; | |
85 | slbv = env->slb[i].vsid; | |
86 | if (slbe == 0 && slbv == 0) { | |
87 | continue; | |
88 | } | |
89 | cpu_fprintf(f, "%d\t0x%016" PRIx64 "\t0x%016" PRIx64 "\n", | |
90 | i, slbe, slbv); | |
91 | } | |
92 | } | |
93 | ||
94 | void helper_slbia(CPUPPCState *env) | |
95 | { | |
cd0c6f47 | 96 | int n; |
10b46525 | 97 | |
10b46525 DG |
98 | /* XXX: Warning: slbia never invalidates the first segment */ |
99 | for (n = 1; n < env->slb_nr; n++) { | |
100 | ppc_slb_t *slb = &env->slb[n]; | |
101 | ||
102 | if (slb->esid & SLB_ESID_V) { | |
103 | slb->esid &= ~SLB_ESID_V; | |
104 | /* XXX: given the fact that segment size is 256 MB or 1TB, | |
105 | * and we still don't have a tlb_flush_mask(env, n, mask) | |
106 | * in QEMU, we just invalidate all TLBs | |
107 | */ | |
a8a6d53e | 108 | env->tlb_need_flush |= TLB_NEED_LOCAL_FLUSH; |
10b46525 DG |
109 | } |
110 | } | |
10b46525 DG |
111 | } |
112 | ||
a63f1dfc ND |
113 | static void __helper_slbie(CPUPPCState *env, target_ulong addr, |
114 | target_ulong global) | |
10b46525 | 115 | { |
00c8cb0a | 116 | PowerPCCPU *cpu = ppc_env_get_cpu(env); |
10b46525 DG |
117 | ppc_slb_t *slb; |
118 | ||
7ef23068 | 119 | slb = slb_lookup(cpu, addr); |
10b46525 DG |
120 | if (!slb) { |
121 | return; | |
122 | } | |
123 | ||
124 | if (slb->esid & SLB_ESID_V) { | |
125 | slb->esid &= ~SLB_ESID_V; | |
126 | ||
127 | /* XXX: given the fact that segment size is 256 MB or 1TB, | |
128 | * and we still don't have a tlb_flush_mask(env, n, mask) | |
129 | * in QEMU, we just invalidate all TLBs | |
130 | */ | |
a63f1dfc ND |
131 | env->tlb_need_flush |= |
132 | (global == false ? TLB_NEED_LOCAL_FLUSH : TLB_NEED_GLOBAL_FLUSH); | |
10b46525 DG |
133 | } |
134 | } | |
135 | ||
a63f1dfc ND |
136 | void helper_slbie(CPUPPCState *env, target_ulong addr) |
137 | { | |
138 | __helper_slbie(env, addr, false); | |
139 | } | |
140 | ||
141 | void helper_slbieg(CPUPPCState *env, target_ulong addr) | |
142 | { | |
143 | __helper_slbie(env, addr, true); | |
144 | } | |
145 | ||
bcd81230 DG |
146 | int ppc_store_slb(PowerPCCPU *cpu, target_ulong slot, |
147 | target_ulong esid, target_ulong vsid) | |
10b46525 | 148 | { |
7ef23068 | 149 | CPUPPCState *env = &cpu->env; |
10b46525 | 150 | ppc_slb_t *slb = &env->slb[slot]; |
cd6a9bb6 DG |
151 | const struct ppc_one_seg_page_size *sps = NULL; |
152 | int i; | |
10b46525 | 153 | |
bcd81230 DG |
154 | if (slot >= env->slb_nr) { |
155 | return -1; /* Bad slot number */ | |
156 | } | |
157 | if (esid & ~(SLB_ESID_ESID | SLB_ESID_V)) { | |
158 | return -1; /* Reserved bits set */ | |
10b46525 | 159 | } |
bcd81230 | 160 | if (vsid & (SLB_VSID_B & ~SLB_VSID_B_1T)) { |
10b46525 DG |
161 | return -1; /* Bad segment size */ |
162 | } | |
bcd81230 | 163 | if ((vsid & SLB_VSID_B) && !(env->mmu_model & POWERPC_MMU_1TSEG)) { |
10b46525 DG |
164 | return -1; /* 1T segment on MMU that doesn't support it */ |
165 | } | |
166 | ||
cd6a9bb6 DG |
167 | for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { |
168 | const struct ppc_one_seg_page_size *sps1 = &env->sps.sps[i]; | |
169 | ||
170 | if (!sps1->page_shift) { | |
171 | break; | |
172 | } | |
173 | ||
174 | if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) { | |
175 | sps = sps1; | |
176 | break; | |
177 | } | |
178 | } | |
179 | ||
180 | if (!sps) { | |
181 | error_report("Bad page size encoding in SLB store: slot "TARGET_FMT_lu | |
182 | " esid 0x"TARGET_FMT_lx" vsid 0x"TARGET_FMT_lx, | |
183 | slot, esid, vsid); | |
184 | return -1; | |
185 | } | |
186 | ||
bcd81230 DG |
187 | slb->esid = esid; |
188 | slb->vsid = vsid; | |
cd6a9bb6 | 189 | slb->sps = sps; |
10b46525 | 190 | |
76134d48 SJS |
191 | LOG_SLB("%s: " TARGET_FMT_lu " " TARGET_FMT_lx " - " TARGET_FMT_lx |
192 | " => %016" PRIx64 " %016" PRIx64 "\n", __func__, slot, esid, vsid, | |
10b46525 DG |
193 | slb->esid, slb->vsid); |
194 | ||
195 | return 0; | |
196 | } | |
197 | ||
7ef23068 | 198 | static int ppc_load_slb_esid(PowerPCCPU *cpu, target_ulong rb, |
10b46525 DG |
199 | target_ulong *rt) |
200 | { | |
7ef23068 | 201 | CPUPPCState *env = &cpu->env; |
10b46525 DG |
202 | int slot = rb & 0xfff; |
203 | ppc_slb_t *slb = &env->slb[slot]; | |
204 | ||
205 | if (slot >= env->slb_nr) { | |
206 | return -1; | |
207 | } | |
208 | ||
209 | *rt = slb->esid; | |
210 | return 0; | |
211 | } | |
212 | ||
7ef23068 | 213 | static int ppc_load_slb_vsid(PowerPCCPU *cpu, target_ulong rb, |
10b46525 DG |
214 | target_ulong *rt) |
215 | { | |
7ef23068 | 216 | CPUPPCState *env = &cpu->env; |
10b46525 DG |
217 | int slot = rb & 0xfff; |
218 | ppc_slb_t *slb = &env->slb[slot]; | |
219 | ||
220 | if (slot >= env->slb_nr) { | |
221 | return -1; | |
222 | } | |
223 | ||
224 | *rt = slb->vsid; | |
225 | return 0; | |
226 | } | |
227 | ||
c76c22d5 BH |
228 | static int ppc_find_slb_vsid(PowerPCCPU *cpu, target_ulong rb, |
229 | target_ulong *rt) | |
230 | { | |
231 | CPUPPCState *env = &cpu->env; | |
232 | ppc_slb_t *slb; | |
233 | ||
234 | if (!msr_is_64bit(env, env->msr)) { | |
235 | rb &= 0xffffffff; | |
236 | } | |
237 | slb = slb_lookup(cpu, rb); | |
238 | if (slb == NULL) { | |
239 | *rt = (target_ulong)-1ul; | |
240 | } else { | |
241 | *rt = slb->vsid; | |
242 | } | |
243 | return 0; | |
244 | } | |
245 | ||
10b46525 DG |
246 | void helper_store_slb(CPUPPCState *env, target_ulong rb, target_ulong rs) |
247 | { | |
7ef23068 DG |
248 | PowerPCCPU *cpu = ppc_env_get_cpu(env); |
249 | ||
bcd81230 | 250 | if (ppc_store_slb(cpu, rb & 0xfff, rb & ~0xfffULL, rs) < 0) { |
0f72b7c6 BH |
251 | raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, |
252 | POWERPC_EXCP_INVAL, GETPC()); | |
10b46525 DG |
253 | } |
254 | } | |
255 | ||
256 | target_ulong helper_load_slb_esid(CPUPPCState *env, target_ulong rb) | |
257 | { | |
7ef23068 | 258 | PowerPCCPU *cpu = ppc_env_get_cpu(env); |
10b46525 DG |
259 | target_ulong rt = 0; |
260 | ||
7ef23068 | 261 | if (ppc_load_slb_esid(cpu, rb, &rt) < 0) { |
0f72b7c6 BH |
262 | raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, |
263 | POWERPC_EXCP_INVAL, GETPC()); | |
10b46525 DG |
264 | } |
265 | return rt; | |
266 | } | |
267 | ||
c76c22d5 BH |
268 | target_ulong helper_find_slb_vsid(CPUPPCState *env, target_ulong rb) |
269 | { | |
270 | PowerPCCPU *cpu = ppc_env_get_cpu(env); | |
271 | target_ulong rt = 0; | |
272 | ||
273 | if (ppc_find_slb_vsid(cpu, rb, &rt) < 0) { | |
0f72b7c6 BH |
274 | raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, |
275 | POWERPC_EXCP_INVAL, GETPC()); | |
c76c22d5 BH |
276 | } |
277 | return rt; | |
278 | } | |
279 | ||
10b46525 DG |
280 | target_ulong helper_load_slb_vsid(CPUPPCState *env, target_ulong rb) |
281 | { | |
7ef23068 | 282 | PowerPCCPU *cpu = ppc_env_get_cpu(env); |
10b46525 DG |
283 | target_ulong rt = 0; |
284 | ||
7ef23068 | 285 | if (ppc_load_slb_vsid(cpu, rb, &rt) < 0) { |
0f72b7c6 BH |
286 | raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, |
287 | POWERPC_EXCP_INVAL, GETPC()); | |
10b46525 DG |
288 | } |
289 | return rt; | |
290 | } | |
9d7c3f4a | 291 | |
07a68f99 SJS |
292 | /* Check No-Execute or Guarded Storage */ |
293 | static inline int ppc_hash64_pte_noexec_guard(PowerPCCPU *cpu, | |
294 | ppc_hash_pte64_t pte) | |
295 | { | |
296 | /* Exec permissions CANNOT take away read or write permissions */ | |
297 | return (pte.pte1 & HPTE64_R_N) || (pte.pte1 & HPTE64_R_G) ? | |
298 | PAGE_READ | PAGE_WRITE : PAGE_READ | PAGE_WRITE | PAGE_EXEC; | |
299 | } | |
300 | ||
301 | /* Check Basic Storage Protection */ | |
7ef23068 | 302 | static int ppc_hash64_pte_prot(PowerPCCPU *cpu, |
e01b4445 | 303 | ppc_slb_t *slb, ppc_hash_pte64_t pte) |
496272a7 | 304 | { |
7ef23068 | 305 | CPUPPCState *env = &cpu->env; |
e01b4445 DG |
306 | unsigned pp, key; |
307 | /* Some pp bit combinations have undefined behaviour, so default | |
308 | * to no access in those cases */ | |
309 | int prot = 0; | |
310 | ||
311 | key = !!(msr_pr ? (slb->vsid & SLB_VSID_KP) | |
312 | : (slb->vsid & SLB_VSID_KS)); | |
313 | pp = (pte.pte1 & HPTE64_R_PP) | ((pte.pte1 & HPTE64_R_PP0) >> 61); | |
496272a7 | 314 | |
496272a7 DG |
315 | if (key == 0) { |
316 | switch (pp) { | |
317 | case 0x0: | |
318 | case 0x1: | |
319 | case 0x2: | |
347a5c73 | 320 | prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; |
e01b4445 DG |
321 | break; |
322 | ||
496272a7 DG |
323 | case 0x3: |
324 | case 0x6: | |
347a5c73 | 325 | prot = PAGE_READ | PAGE_EXEC; |
496272a7 DG |
326 | break; |
327 | } | |
328 | } else { | |
329 | switch (pp) { | |
330 | case 0x0: | |
331 | case 0x6: | |
496272a7 | 332 | break; |
e01b4445 | 333 | |
496272a7 DG |
334 | case 0x1: |
335 | case 0x3: | |
347a5c73 | 336 | prot = PAGE_READ | PAGE_EXEC; |
496272a7 | 337 | break; |
e01b4445 | 338 | |
496272a7 | 339 | case 0x2: |
347a5c73 | 340 | prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; |
496272a7 DG |
341 | break; |
342 | } | |
343 | } | |
496272a7 | 344 | |
e01b4445 | 345 | return prot; |
496272a7 DG |
346 | } |
347 | ||
a6152b52 SJS |
348 | /* Check the instruction access permissions specified in the IAMR */ |
349 | static int ppc_hash64_iamr_prot(PowerPCCPU *cpu, int key) | |
350 | { | |
351 | CPUPPCState *env = &cpu->env; | |
352 | int iamr_bits = (env->spr[SPR_IAMR] >> 2 * (31 - key)) & 0x3; | |
353 | ||
354 | /* | |
355 | * An instruction fetch is permitted if the IAMR bit is 0. | |
356 | * If the bit is set, return PAGE_READ | PAGE_WRITE because this bit | |
357 | * can only take away EXEC permissions not READ or WRITE permissions. | |
358 | * If bit is cleared return PAGE_READ | PAGE_WRITE | PAGE_EXEC since | |
359 | * EXEC permissions are allowed. | |
360 | */ | |
361 | return (iamr_bits & 0x1) ? PAGE_READ | PAGE_WRITE : | |
362 | PAGE_READ | PAGE_WRITE | PAGE_EXEC; | |
363 | } | |
364 | ||
7ef23068 | 365 | static int ppc_hash64_amr_prot(PowerPCCPU *cpu, ppc_hash_pte64_t pte) |
f80872e2 | 366 | { |
7ef23068 | 367 | CPUPPCState *env = &cpu->env; |
f80872e2 | 368 | int key, amrbits; |
363248e8 | 369 | int prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; |
f80872e2 | 370 | |
f80872e2 DG |
371 | /* Only recent MMUs implement Virtual Page Class Key Protection */ |
372 | if (!(env->mmu_model & POWERPC_MMU_AMR)) { | |
363248e8 | 373 | return prot; |
f80872e2 DG |
374 | } |
375 | ||
376 | key = HPTE64_R_KEY(pte.pte1); | |
377 | amrbits = (env->spr[SPR_AMR] >> 2*(31 - key)) & 0x3; | |
378 | ||
379 | /* fprintf(stderr, "AMR protection: key=%d AMR=0x%" PRIx64 "\n", key, */ | |
380 | /* env->spr[SPR_AMR]); */ | |
381 | ||
363248e8 CLG |
382 | /* |
383 | * A store is permitted if the AMR bit is 0. Remove write | |
384 | * protection if it is set. | |
385 | */ | |
f80872e2 | 386 | if (amrbits & 0x2) { |
363248e8 | 387 | prot &= ~PAGE_WRITE; |
f80872e2 | 388 | } |
363248e8 CLG |
389 | /* |
390 | * A load is permitted if the AMR bit is 0. Remove read | |
391 | * protection if it is set. | |
392 | */ | |
f80872e2 | 393 | if (amrbits & 0x1) { |
363248e8 | 394 | prot &= ~PAGE_READ; |
f80872e2 DG |
395 | } |
396 | ||
a6152b52 SJS |
397 | switch (env->mmu_model) { |
398 | /* | |
399 | * MMU version 2.07 and later support IAMR | |
400 | * Check if the IAMR allows the instruction access - it will return | |
401 | * PAGE_EXEC if it doesn't (and thus that bit will be cleared) or 0 | |
402 | * if it does (and prot will be unchanged indicating execution support). | |
403 | */ | |
404 | case POWERPC_MMU_2_07: | |
405 | case POWERPC_MMU_3_00: | |
406 | prot &= ppc_hash64_iamr_prot(cpu, key); | |
407 | break; | |
408 | default: | |
409 | break; | |
410 | } | |
411 | ||
f80872e2 DG |
412 | return prot; |
413 | } | |
414 | ||
7222b94a DG |
415 | const ppc_hash_pte64_t *ppc_hash64_map_hptes(PowerPCCPU *cpu, |
416 | hwaddr ptex, int n) | |
7c43bca0 | 417 | { |
7222b94a | 418 | hwaddr pte_offset = ptex * HASH_PTE_SIZE_64; |
e57ca75c DG |
419 | hwaddr base = ppc_hash64_hpt_base(cpu); |
420 | hwaddr plen = n * HASH_PTE_SIZE_64; | |
421 | const ppc_hash_pte64_t *hptes; | |
7c43bca0 | 422 | |
e57ca75c DG |
423 | if (cpu->vhyp) { |
424 | PPCVirtualHypervisorClass *vhc = | |
425 | PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); | |
426 | return vhc->map_hptes(cpu->vhyp, ptex, n); | |
427 | } | |
428 | ||
429 | if (!base) { | |
430 | return NULL; | |
431 | } | |
432 | ||
433 | hptes = address_space_map(CPU(cpu)->as, base + pte_offset, &plen, false); | |
434 | if (plen < (n * HASH_PTE_SIZE_64)) { | |
435 | hw_error("%s: Unable to map all requested HPTEs\n", __func__); | |
7c43bca0 | 436 | } |
7222b94a | 437 | return hptes; |
7c43bca0 AK |
438 | } |
439 | ||
7222b94a DG |
440 | void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes, |
441 | hwaddr ptex, int n) | |
7c43bca0 | 442 | { |
e57ca75c DG |
443 | if (cpu->vhyp) { |
444 | PPCVirtualHypervisorClass *vhc = | |
445 | PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); | |
446 | vhc->unmap_hptes(cpu->vhyp, hptes, ptex, n); | |
447 | return; | |
7c43bca0 | 448 | } |
e57ca75c DG |
449 | |
450 | address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64, | |
451 | false, n * HASH_PTE_SIZE_64); | |
7c43bca0 AK |
452 | } |
453 | ||
651060ab DG |
454 | static unsigned hpte_page_shift(const struct ppc_one_seg_page_size *sps, |
455 | uint64_t pte0, uint64_t pte1) | |
4322e8ce | 456 | { |
651060ab DG |
457 | int i; |
458 | ||
459 | if (!(pte0 & HPTE64_V_LARGE)) { | |
460 | if (sps->page_shift != 12) { | |
461 | /* 4kiB page in a non 4kiB segment */ | |
462 | return 0; | |
463 | } | |
464 | /* Normal 4kiB page */ | |
4322e8ce | 465 | return 12; |
651060ab DG |
466 | } |
467 | ||
468 | for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { | |
469 | const struct ppc_one_page_size *ps = &sps->enc[i]; | |
470 | uint64_t mask; | |
471 | ||
472 | if (!ps->page_shift) { | |
473 | break; | |
4322e8ce | 474 | } |
651060ab DG |
475 | |
476 | if (ps->page_shift == 12) { | |
477 | /* L bit is set so this can't be a 4kiB page */ | |
478 | continue; | |
479 | } | |
480 | ||
481 | mask = ((1ULL << ps->page_shift) - 1) & HPTE64_R_RPN; | |
482 | ||
b56d417b | 483 | if ((pte1 & mask) == ((uint64_t)ps->pte_enc << HPTE64_R_RPN_SHIFT)) { |
651060ab | 484 | return ps->page_shift; |
4322e8ce | 485 | } |
4322e8ce | 486 | } |
651060ab DG |
487 | |
488 | return 0; /* Bad page size encoding */ | |
4322e8ce BH |
489 | } |
490 | ||
7ef23068 | 491 | static hwaddr ppc_hash64_pteg_search(PowerPCCPU *cpu, hwaddr hash, |
2c7ad804 BH |
492 | const struct ppc_one_seg_page_size *sps, |
493 | target_ulong ptem, | |
94986863 | 494 | ppc_hash_pte64_t *pte, unsigned *pshift) |
aea390e4 | 495 | { |
aea390e4 | 496 | int i; |
7222b94a | 497 | const ppc_hash_pte64_t *pteg; |
7c43bca0 | 498 | target_ulong pte0, pte1; |
7222b94a | 499 | target_ulong ptex; |
aea390e4 | 500 | |
36778660 | 501 | ptex = (hash & ppc_hash64_hpt_mask(cpu)) * HPTES_PER_GROUP; |
7222b94a DG |
502 | pteg = ppc_hash64_map_hptes(cpu, ptex, HPTES_PER_GROUP); |
503 | if (!pteg) { | |
7c43bca0 AK |
504 | return -1; |
505 | } | |
aea390e4 | 506 | for (i = 0; i < HPTES_PER_GROUP; i++) { |
7222b94a DG |
507 | pte0 = ppc_hash64_hpte0(cpu, pteg, i); |
508 | pte1 = ppc_hash64_hpte1(cpu, pteg, i); | |
aea390e4 | 509 | |
073de86a DG |
510 | /* This compares V, B, H (secondary) and the AVPN */ |
511 | if (HPTE64_V_COMPARE(pte0, ptem)) { | |
2c7ad804 | 512 | *pshift = hpte_page_shift(sps, pte0, pte1); |
651060ab DG |
513 | /* |
514 | * If there is no match, ignore the PTE, it could simply | |
515 | * be for a different segment size encoding and the | |
516 | * architecture specifies we should not match. Linux will | |
517 | * potentially leave behind PTEs for the wrong base page | |
518 | * size when demoting segments. | |
519 | */ | |
94986863 | 520 | if (*pshift == 0) { |
4322e8ce BH |
521 | continue; |
522 | } | |
523 | /* We don't do anything with pshift yet as qemu TLB only deals | |
524 | * with 4K pages anyway | |
525 | */ | |
aea390e4 DG |
526 | pte->pte0 = pte0; |
527 | pte->pte1 = pte1; | |
7222b94a DG |
528 | ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); |
529 | return ptex + i; | |
aea390e4 | 530 | } |
aea390e4 | 531 | } |
7222b94a | 532 | ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); |
7c43bca0 AK |
533 | /* |
534 | * We didn't find a valid entry. | |
535 | */ | |
aea390e4 DG |
536 | return -1; |
537 | } | |
538 | ||
7ef23068 | 539 | static hwaddr ppc_hash64_htab_lookup(PowerPCCPU *cpu, |
7f3bdc2d | 540 | ppc_slb_t *slb, target_ulong eaddr, |
94986863 | 541 | ppc_hash_pte64_t *pte, unsigned *pshift) |
c69b6151 | 542 | { |
7ef23068 | 543 | CPUPPCState *env = &cpu->env; |
7222b94a | 544 | hwaddr hash, ptex; |
cd6a9bb6 | 545 | uint64_t vsid, epnmask, epn, ptem; |
2c7ad804 | 546 | const struct ppc_one_seg_page_size *sps = slb->sps; |
cd6a9bb6 DG |
547 | |
548 | /* The SLB store path should prevent any bad page size encodings | |
549 | * getting in there, so: */ | |
2c7ad804 | 550 | assert(sps); |
a1ff751a | 551 | |
2c7ad804 BH |
552 | /* If ISL is set in LPCR we need to clamp the page size to 4K */ |
553 | if (env->spr[SPR_LPCR] & LPCR_ISL) { | |
554 | /* We assume that when using TCG, 4k is first entry of SPS */ | |
555 | sps = &env->sps.sps[0]; | |
556 | assert(sps->page_shift == 12); | |
557 | } | |
558 | ||
559 | epnmask = ~((1ULL << sps->page_shift) - 1); | |
a1ff751a | 560 | |
a1ff751a | 561 | if (slb->vsid & SLB_VSID_B) { |
18148898 DG |
562 | /* 1TB segment */ |
563 | vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT_1T; | |
564 | epn = (eaddr & ~SEGMENT_MASK_1T) & epnmask; | |
2c7ad804 | 565 | hash = vsid ^ (vsid << 25) ^ (epn >> sps->page_shift); |
a1ff751a | 566 | } else { |
18148898 DG |
567 | /* 256M segment */ |
568 | vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT; | |
569 | epn = (eaddr & ~SEGMENT_MASK_256M) & epnmask; | |
2c7ad804 | 570 | hash = vsid ^ (epn >> sps->page_shift); |
a1ff751a | 571 | } |
18148898 | 572 | ptem = (slb->vsid & SLB_VSID_PTEM) | ((epn >> 16) & HPTE64_V_AVPN); |
073de86a | 573 | ptem |= HPTE64_V_VALID; |
a1ff751a | 574 | |
a1ff751a | 575 | /* Page address translation */ |
339aaf5b AP |
576 | qemu_log_mask(CPU_LOG_MMU, |
577 | "htab_base " TARGET_FMT_plx " htab_mask " TARGET_FMT_plx | |
a1ff751a | 578 | " hash " TARGET_FMT_plx "\n", |
36778660 | 579 | ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), hash); |
a1ff751a | 580 | |
a1ff751a | 581 | /* Primary PTEG lookup */ |
339aaf5b AP |
582 | qemu_log_mask(CPU_LOG_MMU, |
583 | "0 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx | |
a1ff751a DG |
584 | " vsid=" TARGET_FMT_lx " ptem=" TARGET_FMT_lx |
585 | " hash=" TARGET_FMT_plx "\n", | |
36778660 DG |
586 | ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), |
587 | vsid, ptem, hash); | |
7222b94a | 588 | ptex = ppc_hash64_pteg_search(cpu, hash, sps, ptem, pte, pshift); |
7f3bdc2d | 589 | |
7222b94a | 590 | if (ptex == -1) { |
a1ff751a | 591 | /* Secondary PTEG lookup */ |
073de86a | 592 | ptem |= HPTE64_V_SECONDARY; |
339aaf5b AP |
593 | qemu_log_mask(CPU_LOG_MMU, |
594 | "1 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx | |
a1ff751a | 595 | " vsid=" TARGET_FMT_lx " api=" TARGET_FMT_lx |
36778660 DG |
596 | " hash=" TARGET_FMT_plx "\n", ppc_hash64_hpt_base(cpu), |
597 | ppc_hash64_hpt_mask(cpu), vsid, ptem, ~hash); | |
a1ff751a | 598 | |
7222b94a | 599 | ptex = ppc_hash64_pteg_search(cpu, ~hash, sps, ptem, pte, pshift); |
a1ff751a DG |
600 | } |
601 | ||
7222b94a | 602 | return ptex; |
c69b6151 | 603 | } |
0480884f | 604 | |
1114e712 | 605 | unsigned ppc_hash64_hpte_page_shift_noslb(PowerPCCPU *cpu, |
1f0252e6 | 606 | uint64_t pte0, uint64_t pte1) |
1114e712 DG |
607 | { |
608 | CPUPPCState *env = &cpu->env; | |
609 | int i; | |
610 | ||
611 | if (!(pte0 & HPTE64_V_LARGE)) { | |
1114e712 DG |
612 | return 12; |
613 | } | |
614 | ||
615 | /* | |
616 | * The encodings in env->sps need to be carefully chosen so that | |
617 | * this gives an unambiguous result. | |
618 | */ | |
619 | for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { | |
620 | const struct ppc_one_seg_page_size *sps = &env->sps.sps[i]; | |
621 | unsigned shift; | |
622 | ||
623 | if (!sps->page_shift) { | |
624 | break; | |
625 | } | |
626 | ||
627 | shift = hpte_page_shift(sps, pte0, pte1); | |
628 | if (shift) { | |
1114e712 DG |
629 | return shift; |
630 | } | |
631 | } | |
632 | ||
1114e712 DG |
633 | return 0; |
634 | } | |
635 | ||
8fe08fac | 636 | static void ppc_hash64_set_isi(CPUState *cs, uint64_t error_code) |
33595dc9 | 637 | { |
8fe08fac | 638 | CPUPPCState *env = &POWERPC_CPU(cs)->env; |
33595dc9 BH |
639 | bool vpm; |
640 | ||
641 | if (msr_ir) { | |
642 | vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); | |
643 | } else { | |
50659083 SJS |
644 | switch (env->mmu_model) { |
645 | case POWERPC_MMU_3_00: | |
646 | /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ | |
647 | vpm = true; | |
648 | break; | |
649 | default: | |
650 | vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); | |
651 | break; | |
652 | } | |
33595dc9 BH |
653 | } |
654 | if (vpm && !msr_hv) { | |
655 | cs->exception_index = POWERPC_EXCP_HISI; | |
656 | } else { | |
657 | cs->exception_index = POWERPC_EXCP_ISI; | |
658 | } | |
659 | env->error_code = error_code; | |
660 | } | |
661 | ||
8fe08fac | 662 | static void ppc_hash64_set_dsi(CPUState *cs, uint64_t dar, uint64_t dsisr) |
33595dc9 | 663 | { |
8fe08fac | 664 | CPUPPCState *env = &POWERPC_CPU(cs)->env; |
33595dc9 BH |
665 | bool vpm; |
666 | ||
667 | if (msr_dr) { | |
668 | vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); | |
669 | } else { | |
50659083 SJS |
670 | switch (env->mmu_model) { |
671 | case POWERPC_MMU_3_00: | |
672 | /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ | |
673 | vpm = true; | |
674 | break; | |
675 | default: | |
676 | vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); | |
677 | break; | |
678 | } | |
33595dc9 BH |
679 | } |
680 | if (vpm && !msr_hv) { | |
681 | cs->exception_index = POWERPC_EXCP_HDSI; | |
682 | env->spr[SPR_HDAR] = dar; | |
683 | env->spr[SPR_HDSISR] = dsisr; | |
684 | } else { | |
685 | cs->exception_index = POWERPC_EXCP_DSI; | |
686 | env->spr[SPR_DAR] = dar; | |
687 | env->spr[SPR_DSISR] = dsisr; | |
688 | } | |
689 | env->error_code = 0; | |
690 | } | |
691 | ||
692 | ||
b2305601 | 693 | int ppc_hash64_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr, |
caa597bd | 694 | int rwx, int mmu_idx) |
0480884f | 695 | { |
d0e39c5d AF |
696 | CPUState *cs = CPU(cpu); |
697 | CPUPPCState *env = &cpu->env; | |
0480884f | 698 | ppc_slb_t *slb; |
be18b2b5 | 699 | unsigned apshift; |
7222b94a | 700 | hwaddr ptex; |
7f3bdc2d | 701 | ppc_hash_pte64_t pte; |
07a68f99 | 702 | int exec_prot, pp_prot, amr_prot, prot; |
da82c73a | 703 | uint64_t new_pte1; |
e01b4445 | 704 | const int need_prot[] = {PAGE_READ, PAGE_WRITE, PAGE_EXEC}; |
caa597bd | 705 | hwaddr raddr; |
0480884f | 706 | |
6a980110 DG |
707 | assert((rwx == 0) || (rwx == 1) || (rwx == 2)); |
708 | ||
912acdf4 BH |
709 | /* Note on LPCR usage: 970 uses HID4, but our special variant |
710 | * of store_spr copies relevant fields into env->spr[SPR_LPCR]. | |
711 | * Similarily we filter unimplemented bits when storing into | |
712 | * LPCR depending on the MMU version. This code can thus just | |
713 | * use the LPCR "as-is". | |
714 | */ | |
715 | ||
65d61643 DG |
716 | /* 1. Handle real mode accesses */ |
717 | if (((rwx == 2) && (msr_ir == 0)) || ((rwx != 2) && (msr_dr == 0))) { | |
912acdf4 BH |
718 | /* Translation is supposedly "off" */ |
719 | /* In real mode the top 4 effective address bits are (mostly) ignored */ | |
caa597bd | 720 | raddr = eaddr & 0x0FFFFFFFFFFFFFFFULL; |
912acdf4 BH |
721 | |
722 | /* In HV mode, add HRMOR if top EA bit is clear */ | |
723 | if (msr_hv || !env->has_hv_mode) { | |
724 | if (!(eaddr >> 63)) { | |
725 | raddr |= env->spr[SPR_HRMOR]; | |
726 | } | |
727 | } else { | |
728 | /* Otherwise, check VPM for RMA vs VRMA */ | |
729 | if (env->spr[SPR_LPCR] & LPCR_VPM0) { | |
730 | slb = &env->vrma_slb; | |
731 | if (slb->sps) { | |
732 | goto skip_slb_search; | |
733 | } | |
734 | /* Not much else to do here */ | |
735 | cs->exception_index = POWERPC_EXCP_MCHECK; | |
736 | env->error_code = 0; | |
737 | return 1; | |
738 | } else if (raddr < env->rmls) { | |
739 | /* RMA. Check bounds in RMLS */ | |
740 | raddr |= env->spr[SPR_RMOR]; | |
741 | } else { | |
742 | /* The access failed, generate the approriate interrupt */ | |
743 | if (rwx == 2) { | |
8fe08fac | 744 | ppc_hash64_set_isi(cs, SRR1_PROTFAULT); |
912acdf4 | 745 | } else { |
da82c73a | 746 | int dsisr = DSISR_PROTFAULT; |
912acdf4 | 747 | if (rwx == 1) { |
da82c73a | 748 | dsisr |= DSISR_ISSTORE; |
912acdf4 | 749 | } |
8fe08fac | 750 | ppc_hash64_set_dsi(cs, eaddr, dsisr); |
912acdf4 BH |
751 | } |
752 | return 1; | |
753 | } | |
754 | } | |
0c591eb0 | 755 | tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, |
caa597bd DG |
756 | PAGE_READ | PAGE_WRITE | PAGE_EXEC, mmu_idx, |
757 | TARGET_PAGE_SIZE); | |
65d61643 DG |
758 | return 0; |
759 | } | |
760 | ||
bb218042 | 761 | /* 2. Translation is on, so look up the SLB */ |
7ef23068 | 762 | slb = slb_lookup(cpu, eaddr); |
0480884f | 763 | if (!slb) { |
b2899495 SJS |
764 | /* No entry found, check if in-memory segment tables are in use */ |
765 | if ((env->mmu_model & POWERPC_MMU_V3) && ppc64_use_proc_tbl(cpu)) { | |
766 | /* TODO - Unsupported */ | |
767 | error_report("Segment Table Support Unimplemented"); | |
768 | exit(1); | |
769 | } | |
770 | /* Segment still not found, generate the appropriate interrupt */ | |
caa597bd | 771 | if (rwx == 2) { |
27103424 | 772 | cs->exception_index = POWERPC_EXCP_ISEG; |
caa597bd DG |
773 | env->error_code = 0; |
774 | } else { | |
27103424 | 775 | cs->exception_index = POWERPC_EXCP_DSEG; |
caa597bd DG |
776 | env->error_code = 0; |
777 | env->spr[SPR_DAR] = eaddr; | |
778 | } | |
779 | return 1; | |
0480884f DG |
780 | } |
781 | ||
912acdf4 BH |
782 | skip_slb_search: |
783 | ||
bb218042 DG |
784 | /* 3. Check for segment level no-execute violation */ |
785 | if ((rwx == 2) && (slb->vsid & SLB_VSID_N)) { | |
8fe08fac | 786 | ppc_hash64_set_isi(cs, SRR1_NOEXEC_GUARD); |
caa597bd | 787 | return 1; |
bb218042 DG |
788 | } |
789 | ||
7f3bdc2d | 790 | /* 4. Locate the PTE in the hash table */ |
7222b94a DG |
791 | ptex = ppc_hash64_htab_lookup(cpu, slb, eaddr, &pte, &apshift); |
792 | if (ptex == -1) { | |
caa597bd | 793 | if (rwx == 2) { |
8fe08fac | 794 | ppc_hash64_set_isi(cs, SRR1_NOPTE); |
caa597bd | 795 | } else { |
da82c73a | 796 | int dsisr = DSISR_NOPTE; |
caa597bd | 797 | if (rwx == 1) { |
da82c73a | 798 | dsisr |= DSISR_ISSTORE; |
caa597bd | 799 | } |
8fe08fac | 800 | ppc_hash64_set_dsi(cs, eaddr, dsisr); |
caa597bd DG |
801 | } |
802 | return 1; | |
7f3bdc2d | 803 | } |
339aaf5b | 804 | qemu_log_mask(CPU_LOG_MMU, |
7222b94a | 805 | "found PTE at index %08" HWADDR_PRIx "\n", ptex); |
7f3bdc2d DG |
806 | |
807 | /* 5. Check access permissions */ | |
7f3bdc2d | 808 | |
07a68f99 | 809 | exec_prot = ppc_hash64_pte_noexec_guard(cpu, pte); |
7ef23068 DG |
810 | pp_prot = ppc_hash64_pte_prot(cpu, slb, pte); |
811 | amr_prot = ppc_hash64_amr_prot(cpu, pte); | |
07a68f99 | 812 | prot = exec_prot & pp_prot & amr_prot; |
6a980110 | 813 | |
caa597bd | 814 | if ((need_prot[rwx] & ~prot) != 0) { |
6a980110 | 815 | /* Access right violation */ |
339aaf5b | 816 | qemu_log_mask(CPU_LOG_MMU, "PTE access rejected\n"); |
caa597bd | 817 | if (rwx == 2) { |
a6152b52 | 818 | int srr1 = 0; |
07a68f99 SJS |
819 | if (PAGE_EXEC & ~exec_prot) { |
820 | srr1 |= SRR1_NOEXEC_GUARD; /* Access violates noexec or guard */ | |
821 | } else if (PAGE_EXEC & ~pp_prot) { | |
a6152b52 SJS |
822 | srr1 |= SRR1_PROTFAULT; /* Access violates access authority */ |
823 | } | |
824 | if (PAGE_EXEC & ~amr_prot) { | |
825 | srr1 |= SRR1_IAMR; /* Access violates virt pg class key prot */ | |
826 | } | |
8fe08fac | 827 | ppc_hash64_set_isi(cs, srr1); |
caa597bd | 828 | } else { |
da82c73a | 829 | int dsisr = 0; |
f80872e2 | 830 | if (need_prot[rwx] & ~pp_prot) { |
da82c73a | 831 | dsisr |= DSISR_PROTFAULT; |
f80872e2 | 832 | } |
caa597bd | 833 | if (rwx == 1) { |
da82c73a | 834 | dsisr |= DSISR_ISSTORE; |
f80872e2 DG |
835 | } |
836 | if (need_prot[rwx] & ~amr_prot) { | |
da82c73a | 837 | dsisr |= DSISR_AMR; |
caa597bd | 838 | } |
8fe08fac | 839 | ppc_hash64_set_dsi(cs, eaddr, dsisr); |
caa597bd DG |
840 | } |
841 | return 1; | |
6a980110 DG |
842 | } |
843 | ||
339aaf5b | 844 | qemu_log_mask(CPU_LOG_MMU, "PTE access granted !\n"); |
87dc3fd1 DG |
845 | |
846 | /* 6. Update PTE referenced and changed bits if necessary */ | |
847 | ||
b3440746 DG |
848 | new_pte1 = pte.pte1 | HPTE64_R_R; /* set referenced bit */ |
849 | if (rwx == 1) { | |
850 | new_pte1 |= HPTE64_R_C; /* set changed (dirty) bit */ | |
851 | } else { | |
852 | /* Treat the page as read-only for now, so that a later write | |
853 | * will pass through this function again to set the C bit */ | |
caa597bd | 854 | prot &= ~PAGE_WRITE; |
b3440746 DG |
855 | } |
856 | ||
857 | if (new_pte1 != pte.pte1) { | |
7222b94a | 858 | ppc_hash64_store_hpte(cpu, ptex, pte.pte0, new_pte1); |
7f3bdc2d | 859 | } |
0480884f | 860 | |
6d11d998 DG |
861 | /* 7. Determine the real address from the PTE */ |
862 | ||
be18b2b5 | 863 | raddr = deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, eaddr); |
caa597bd | 864 | |
0c591eb0 | 865 | tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, |
be18b2b5 | 866 | prot, mmu_idx, 1ULL << apshift); |
e01b4445 | 867 | |
e01b4445 | 868 | return 0; |
0480884f | 869 | } |
629bd516 | 870 | |
7ef23068 | 871 | hwaddr ppc_hash64_get_phys_page_debug(PowerPCCPU *cpu, target_ulong addr) |
f2ad6be8 | 872 | { |
7ef23068 | 873 | CPUPPCState *env = &cpu->env; |
5883d8b2 | 874 | ppc_slb_t *slb; |
7222b94a | 875 | hwaddr ptex, raddr; |
5883d8b2 | 876 | ppc_hash_pte64_t pte; |
be18b2b5 | 877 | unsigned apshift; |
5883d8b2 | 878 | |
912acdf4 | 879 | /* Handle real mode */ |
5883d8b2 DG |
880 | if (msr_dr == 0) { |
881 | /* In real mode the top 4 effective address bits are ignored */ | |
912acdf4 | 882 | raddr = addr & 0x0FFFFFFFFFFFFFFFULL; |
f2ad6be8 | 883 | |
912acdf4 BH |
884 | /* In HV mode, add HRMOR if top EA bit is clear */ |
885 | if ((msr_hv || !env->has_hv_mode) && !(addr >> 63)) { | |
886 | return raddr | env->spr[SPR_HRMOR]; | |
887 | } | |
888 | ||
889 | /* Otherwise, check VPM for RMA vs VRMA */ | |
890 | if (env->spr[SPR_LPCR] & LPCR_VPM0) { | |
891 | slb = &env->vrma_slb; | |
892 | if (!slb->sps) { | |
893 | return -1; | |
894 | } | |
895 | } else if (raddr < env->rmls) { | |
896 | /* RMA. Check bounds in RMLS */ | |
897 | return raddr | env->spr[SPR_RMOR]; | |
898 | } else { | |
899 | return -1; | |
900 | } | |
901 | } else { | |
902 | slb = slb_lookup(cpu, addr); | |
903 | if (!slb) { | |
904 | return -1; | |
905 | } | |
5883d8b2 DG |
906 | } |
907 | ||
7222b94a DG |
908 | ptex = ppc_hash64_htab_lookup(cpu, slb, addr, &pte, &apshift); |
909 | if (ptex == -1) { | |
f2ad6be8 DG |
910 | return -1; |
911 | } | |
912 | ||
be18b2b5 | 913 | return deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, addr) |
cd6a9bb6 | 914 | & TARGET_PAGE_MASK; |
f2ad6be8 | 915 | } |
c1385933 | 916 | |
7222b94a DG |
917 | void ppc_hash64_store_hpte(PowerPCCPU *cpu, hwaddr ptex, |
918 | uint64_t pte0, uint64_t pte1) | |
c1385933 | 919 | { |
e57ca75c | 920 | hwaddr base = ppc_hash64_hpt_base(cpu); |
7222b94a | 921 | hwaddr offset = ptex * HASH_PTE_SIZE_64; |
c1385933 | 922 | |
e57ca75c DG |
923 | if (cpu->vhyp) { |
924 | PPCVirtualHypervisorClass *vhc = | |
925 | PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); | |
926 | vhc->store_hpte(cpu->vhyp, ptex, pte0, pte1); | |
a9ab06d1 | 927 | return; |
c1385933 AK |
928 | } |
929 | ||
e57ca75c DG |
930 | stq_phys(CPU(cpu)->as, base + offset, pte0); |
931 | stq_phys(CPU(cpu)->as, base + offset + HASH_PTE_SIZE_64 / 2, pte1); | |
c1385933 | 932 | } |
61a36c9b | 933 | |
7222b94a | 934 | void ppc_hash64_tlb_flush_hpte(PowerPCCPU *cpu, target_ulong ptex, |
61a36c9b DG |
935 | target_ulong pte0, target_ulong pte1) |
936 | { | |
937 | /* | |
938 | * XXX: given the fact that there are too many segments to | |
939 | * invalidate, and we still don't have a tlb_flush_mask(env, n, | |
940 | * mask) in QEMU, we just invalidate all TLBs | |
941 | */ | |
d76ab5e1 | 942 | cpu->env.tlb_need_flush = TLB_NEED_GLOBAL_FLUSH | TLB_NEED_LOCAL_FLUSH; |
61a36c9b | 943 | } |
4b3fc377 | 944 | |
8fe08fac | 945 | void ppc_hash64_update_rmls(PowerPCCPU *cpu) |
912acdf4 | 946 | { |
8fe08fac | 947 | CPUPPCState *env = &cpu->env; |
912acdf4 BH |
948 | uint64_t lpcr = env->spr[SPR_LPCR]; |
949 | ||
950 | /* | |
951 | * This is the full 4 bits encoding of POWER8. Previous | |
952 | * CPUs only support a subset of these but the filtering | |
953 | * is done when writing LPCR | |
954 | */ | |
955 | switch ((lpcr & LPCR_RMLS) >> LPCR_RMLS_SHIFT) { | |
956 | case 0x8: /* 32MB */ | |
957 | env->rmls = 0x2000000ull; | |
958 | break; | |
959 | case 0x3: /* 64MB */ | |
960 | env->rmls = 0x4000000ull; | |
961 | break; | |
962 | case 0x7: /* 128MB */ | |
963 | env->rmls = 0x8000000ull; | |
964 | break; | |
965 | case 0x4: /* 256MB */ | |
966 | env->rmls = 0x10000000ull; | |
967 | break; | |
968 | case 0x2: /* 1GB */ | |
969 | env->rmls = 0x40000000ull; | |
970 | break; | |
971 | case 0x1: /* 16GB */ | |
972 | env->rmls = 0x400000000ull; | |
973 | break; | |
974 | default: | |
975 | /* What to do here ??? */ | |
976 | env->rmls = 0; | |
977 | } | |
978 | } | |
979 | ||
8fe08fac | 980 | void ppc_hash64_update_vrma(PowerPCCPU *cpu) |
912acdf4 | 981 | { |
8fe08fac | 982 | CPUPPCState *env = &cpu->env; |
912acdf4 BH |
983 | const struct ppc_one_seg_page_size *sps = NULL; |
984 | target_ulong esid, vsid, lpcr; | |
985 | ppc_slb_t *slb = &env->vrma_slb; | |
986 | uint32_t vrmasd; | |
987 | int i; | |
988 | ||
989 | /* First clear it */ | |
990 | slb->esid = slb->vsid = 0; | |
991 | slb->sps = NULL; | |
992 | ||
993 | /* Is VRMA enabled ? */ | |
994 | lpcr = env->spr[SPR_LPCR]; | |
995 | if (!(lpcr & LPCR_VPM0)) { | |
996 | return; | |
997 | } | |
998 | ||
999 | /* Make one up. Mostly ignore the ESID which will not be | |
1000 | * needed for translation | |
1001 | */ | |
1002 | vsid = SLB_VSID_VRMA; | |
1003 | vrmasd = (lpcr & LPCR_VRMASD) >> LPCR_VRMASD_SHIFT; | |
1004 | vsid |= (vrmasd << 4) & (SLB_VSID_L | SLB_VSID_LP); | |
1005 | esid = SLB_ESID_V; | |
1006 | ||
8fe08fac | 1007 | for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { |
912acdf4 BH |
1008 | const struct ppc_one_seg_page_size *sps1 = &env->sps.sps[i]; |
1009 | ||
1010 | if (!sps1->page_shift) { | |
1011 | break; | |
1012 | } | |
1013 | ||
1014 | if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) { | |
1015 | sps = sps1; | |
1016 | break; | |
1017 | } | |
1018 | } | |
1019 | ||
1020 | if (!sps) { | |
1021 | error_report("Bad page size encoding esid 0x"TARGET_FMT_lx | |
1022 | " vsid 0x"TARGET_FMT_lx, esid, vsid); | |
1023 | return; | |
1024 | } | |
1025 | ||
1026 | slb->vsid = vsid; | |
1027 | slb->esid = esid; | |
1028 | slb->sps = sps; | |
1029 | } | |
1030 | ||
4b3fc377 BH |
1031 | void helper_store_lpcr(CPUPPCState *env, target_ulong val) |
1032 | { | |
8fe08fac | 1033 | PowerPCCPU *cpu = ppc_env_get_cpu(env); |
4b3fc377 BH |
1034 | uint64_t lpcr = 0; |
1035 | ||
1036 | /* Filter out bits */ | |
ec975e83 SB |
1037 | switch (POWERPC_MMU_VER(env->mmu_model)) { |
1038 | case POWERPC_MMU_VER_64B: /* 970 */ | |
4b3fc377 BH |
1039 | if (val & 0x40) { |
1040 | lpcr |= LPCR_LPES0; | |
1041 | } | |
1042 | if (val & 0x8000000000000000ull) { | |
1043 | lpcr |= LPCR_LPES1; | |
1044 | } | |
1045 | if (val & 0x20) { | |
1046 | lpcr |= (0x4ull << LPCR_RMLS_SHIFT); | |
1047 | } | |
1048 | if (val & 0x4000000000000000ull) { | |
1049 | lpcr |= (0x2ull << LPCR_RMLS_SHIFT); | |
1050 | } | |
1051 | if (val & 0x2000000000000000ull) { | |
1052 | lpcr |= (0x1ull << LPCR_RMLS_SHIFT); | |
1053 | } | |
1054 | env->spr[SPR_RMOR] = ((lpcr >> 41) & 0xffffull) << 26; | |
1055 | ||
1056 | /* XXX We could also write LPID from HID4 here | |
1057 | * but since we don't tag any translation on it | |
1058 | * it doesn't actually matter | |
1059 | */ | |
1060 | /* XXX For proper emulation of 970 we also need | |
1061 | * to dig HRMOR out of HID5 | |
1062 | */ | |
1063 | break; | |
ec975e83 | 1064 | case POWERPC_MMU_VER_2_03: /* P5p */ |
4b3fc377 BH |
1065 | lpcr = val & (LPCR_RMLS | LPCR_ILE | |
1066 | LPCR_LPES0 | LPCR_LPES1 | | |
1067 | LPCR_RMI | LPCR_HDICE); | |
1068 | break; | |
ec975e83 | 1069 | case POWERPC_MMU_VER_2_06: /* P7 */ |
4b3fc377 BH |
1070 | lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_DPFD | |
1071 | LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | | |
1072 | LPCR_P7_PECE0 | LPCR_P7_PECE1 | LPCR_P7_PECE2 | | |
1073 | LPCR_MER | LPCR_TC | | |
1074 | LPCR_LPES0 | LPCR_LPES1 | LPCR_HDICE); | |
1075 | break; | |
ec975e83 | 1076 | case POWERPC_MMU_VER_2_07: /* P8 */ |
4b3fc377 BH |
1077 | lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_KBV | |
1078 | LPCR_DPFD | LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | | |
1079 | LPCR_AIL | LPCR_ONL | LPCR_P8_PECE0 | LPCR_P8_PECE1 | | |
1080 | LPCR_P8_PECE2 | LPCR_P8_PECE3 | LPCR_P8_PECE4 | | |
1081 | LPCR_MER | LPCR_TC | LPCR_LPES0 | LPCR_HDICE); | |
1082 | break; | |
ec975e83 | 1083 | case POWERPC_MMU_VER_3_00: /* P9 */ |
18aa49ec SJS |
1084 | lpcr = val & (LPCR_VPM1 | LPCR_ISL | LPCR_KBV | LPCR_DPFD | |
1085 | (LPCR_PECE_U_MASK & LPCR_HVEE) | LPCR_ILE | LPCR_AIL | | |
1086 | LPCR_UPRT | LPCR_EVIRT | LPCR_ONL | | |
1087 | (LPCR_PECE_L_MASK & (LPCR_PDEE | LPCR_HDEE | LPCR_EEE | | |
1088 | LPCR_DEE | LPCR_OEE)) | LPCR_MER | LPCR_GTSE | LPCR_TC | | |
1089 | LPCR_HEIC | LPCR_LPES0 | LPCR_HVICE | LPCR_HDICE); | |
1090 | break; | |
4b3fc377 BH |
1091 | default: |
1092 | ; | |
1093 | } | |
1094 | env->spr[SPR_LPCR] = lpcr; | |
8fe08fac DG |
1095 | ppc_hash64_update_rmls(cpu); |
1096 | ppc_hash64_update_vrma(cpu); | |
4b3fc377 | 1097 | } |