xref: /openbmc/qemu/target/ppc/mmu-hash64.c (revision b2899495e3bd467adb9ef195655407cd58a97ded)
1fcf5ef2aSThomas Huth /*
2fcf5ef2aSThomas Huth  *  PowerPC MMU, TLB, SLB and BAT emulation helpers for QEMU.
3fcf5ef2aSThomas Huth  *
4fcf5ef2aSThomas Huth  *  Copyright (c) 2003-2007 Jocelyn Mayer
5fcf5ef2aSThomas Huth  *  Copyright (c) 2013 David Gibson, IBM Corporation
6fcf5ef2aSThomas Huth  *
7fcf5ef2aSThomas Huth  * This library is free software; you can redistribute it and/or
8fcf5ef2aSThomas Huth  * modify it under the terms of the GNU Lesser General Public
9fcf5ef2aSThomas Huth  * License as published by the Free Software Foundation; either
10fcf5ef2aSThomas Huth  * version 2 of the License, or (at your option) any later version.
11fcf5ef2aSThomas Huth  *
12fcf5ef2aSThomas Huth  * This library is distributed in the hope that it will be useful,
13fcf5ef2aSThomas Huth  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14fcf5ef2aSThomas Huth  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15fcf5ef2aSThomas Huth  * Lesser General Public License for more details.
16fcf5ef2aSThomas Huth  *
17fcf5ef2aSThomas Huth  * You should have received a copy of the GNU Lesser General Public
18fcf5ef2aSThomas Huth  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19fcf5ef2aSThomas Huth  */
20fcf5ef2aSThomas Huth #include "qemu/osdep.h"
21fcf5ef2aSThomas Huth #include "qapi/error.h"
22fcf5ef2aSThomas Huth #include "cpu.h"
23fcf5ef2aSThomas Huth #include "exec/exec-all.h"
24fcf5ef2aSThomas Huth #include "exec/helper-proto.h"
25fcf5ef2aSThomas Huth #include "qemu/error-report.h"
26b3946626SVincent Palatin #include "sysemu/hw_accel.h"
27fcf5ef2aSThomas Huth #include "kvm_ppc.h"
28fcf5ef2aSThomas Huth #include "mmu-hash64.h"
29fcf5ef2aSThomas Huth #include "exec/log.h"
307222b94aSDavid Gibson #include "hw/hw.h"
31*b2899495SSuraj Jitindar Singh #include "mmu-book3s-v3.h"
32fcf5ef2aSThomas Huth 
33fcf5ef2aSThomas Huth //#define DEBUG_SLB
34fcf5ef2aSThomas Huth 
35fcf5ef2aSThomas Huth #ifdef DEBUG_SLB
36fcf5ef2aSThomas Huth #  define LOG_SLB(...) qemu_log_mask(CPU_LOG_MMU, __VA_ARGS__)
37fcf5ef2aSThomas Huth #else
38fcf5ef2aSThomas Huth #  define LOG_SLB(...) do { } while (0)
39fcf5ef2aSThomas Huth #endif
40fcf5ef2aSThomas Huth 
41fcf5ef2aSThomas Huth /*
42fcf5ef2aSThomas Huth  * SLB handling
43fcf5ef2aSThomas Huth  */
44fcf5ef2aSThomas Huth 
45fcf5ef2aSThomas Huth static ppc_slb_t *slb_lookup(PowerPCCPU *cpu, target_ulong eaddr)
46fcf5ef2aSThomas Huth {
47fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
48fcf5ef2aSThomas Huth     uint64_t esid_256M, esid_1T;
49fcf5ef2aSThomas Huth     int n;
50fcf5ef2aSThomas Huth 
51fcf5ef2aSThomas Huth     LOG_SLB("%s: eaddr " TARGET_FMT_lx "\n", __func__, eaddr);
52fcf5ef2aSThomas Huth 
53fcf5ef2aSThomas Huth     esid_256M = (eaddr & SEGMENT_MASK_256M) | SLB_ESID_V;
54fcf5ef2aSThomas Huth     esid_1T = (eaddr & SEGMENT_MASK_1T) | SLB_ESID_V;
55fcf5ef2aSThomas Huth 
56fcf5ef2aSThomas Huth     for (n = 0; n < env->slb_nr; n++) {
57fcf5ef2aSThomas Huth         ppc_slb_t *slb = &env->slb[n];
58fcf5ef2aSThomas Huth 
59fcf5ef2aSThomas Huth         LOG_SLB("%s: slot %d %016" PRIx64 " %016"
60fcf5ef2aSThomas Huth                     PRIx64 "\n", __func__, n, slb->esid, slb->vsid);
61fcf5ef2aSThomas Huth         /* We check for 1T matches on all MMUs here - if the MMU
62fcf5ef2aSThomas Huth          * doesn't have 1T segment support, we will have prevented 1T
63fcf5ef2aSThomas Huth          * entries from being inserted in the slbmte code. */
64fcf5ef2aSThomas Huth         if (((slb->esid == esid_256M) &&
65fcf5ef2aSThomas Huth              ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_256M))
66fcf5ef2aSThomas Huth             || ((slb->esid == esid_1T) &&
67fcf5ef2aSThomas Huth                 ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_1T))) {
68fcf5ef2aSThomas Huth             return slb;
69fcf5ef2aSThomas Huth         }
70fcf5ef2aSThomas Huth     }
71fcf5ef2aSThomas Huth 
72fcf5ef2aSThomas Huth     return NULL;
73fcf5ef2aSThomas Huth }
74fcf5ef2aSThomas Huth 
75fcf5ef2aSThomas Huth void dump_slb(FILE *f, fprintf_function cpu_fprintf, PowerPCCPU *cpu)
76fcf5ef2aSThomas Huth {
77fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
78fcf5ef2aSThomas Huth     int i;
79fcf5ef2aSThomas Huth     uint64_t slbe, slbv;
80fcf5ef2aSThomas Huth 
81fcf5ef2aSThomas Huth     cpu_synchronize_state(CPU(cpu));
82fcf5ef2aSThomas Huth 
83fcf5ef2aSThomas Huth     cpu_fprintf(f, "SLB\tESID\t\t\tVSID\n");
84fcf5ef2aSThomas Huth     for (i = 0; i < env->slb_nr; i++) {
85fcf5ef2aSThomas Huth         slbe = env->slb[i].esid;
86fcf5ef2aSThomas Huth         slbv = env->slb[i].vsid;
87fcf5ef2aSThomas Huth         if (slbe == 0 && slbv == 0) {
88fcf5ef2aSThomas Huth             continue;
89fcf5ef2aSThomas Huth         }
90fcf5ef2aSThomas Huth         cpu_fprintf(f, "%d\t0x%016" PRIx64 "\t0x%016" PRIx64 "\n",
91fcf5ef2aSThomas Huth                     i, slbe, slbv);
92fcf5ef2aSThomas Huth     }
93fcf5ef2aSThomas Huth }
94fcf5ef2aSThomas Huth 
95fcf5ef2aSThomas Huth void helper_slbia(CPUPPCState *env)
96fcf5ef2aSThomas Huth {
97fcf5ef2aSThomas Huth     int n;
98fcf5ef2aSThomas Huth 
99fcf5ef2aSThomas Huth     /* XXX: Warning: slbia never invalidates the first segment */
100fcf5ef2aSThomas Huth     for (n = 1; n < env->slb_nr; n++) {
101fcf5ef2aSThomas Huth         ppc_slb_t *slb = &env->slb[n];
102fcf5ef2aSThomas Huth 
103fcf5ef2aSThomas Huth         if (slb->esid & SLB_ESID_V) {
104fcf5ef2aSThomas Huth             slb->esid &= ~SLB_ESID_V;
105fcf5ef2aSThomas Huth             /* XXX: given the fact that segment size is 256 MB or 1TB,
106fcf5ef2aSThomas Huth              *      and we still don't have a tlb_flush_mask(env, n, mask)
107fcf5ef2aSThomas Huth              *      in QEMU, we just invalidate all TLBs
108fcf5ef2aSThomas Huth              */
109fcf5ef2aSThomas Huth             env->tlb_need_flush |= TLB_NEED_LOCAL_FLUSH;
110fcf5ef2aSThomas Huth         }
111fcf5ef2aSThomas Huth     }
112fcf5ef2aSThomas Huth }
113fcf5ef2aSThomas Huth 
114a63f1dfcSNikunj A Dadhania static void __helper_slbie(CPUPPCState *env, target_ulong addr,
115a63f1dfcSNikunj A Dadhania                            target_ulong global)
116fcf5ef2aSThomas Huth {
117fcf5ef2aSThomas Huth     PowerPCCPU *cpu = ppc_env_get_cpu(env);
118fcf5ef2aSThomas Huth     ppc_slb_t *slb;
119fcf5ef2aSThomas Huth 
120fcf5ef2aSThomas Huth     slb = slb_lookup(cpu, addr);
121fcf5ef2aSThomas Huth     if (!slb) {
122fcf5ef2aSThomas Huth         return;
123fcf5ef2aSThomas Huth     }
124fcf5ef2aSThomas Huth 
125fcf5ef2aSThomas Huth     if (slb->esid & SLB_ESID_V) {
126fcf5ef2aSThomas Huth         slb->esid &= ~SLB_ESID_V;
127fcf5ef2aSThomas Huth 
128fcf5ef2aSThomas Huth         /* XXX: given the fact that segment size is 256 MB or 1TB,
129fcf5ef2aSThomas Huth          *      and we still don't have a tlb_flush_mask(env, n, mask)
130fcf5ef2aSThomas Huth          *      in QEMU, we just invalidate all TLBs
131fcf5ef2aSThomas Huth          */
132a63f1dfcSNikunj A Dadhania         env->tlb_need_flush |=
133a63f1dfcSNikunj A Dadhania             (global == false ? TLB_NEED_LOCAL_FLUSH : TLB_NEED_GLOBAL_FLUSH);
134fcf5ef2aSThomas Huth     }
135fcf5ef2aSThomas Huth }
136fcf5ef2aSThomas Huth 
137a63f1dfcSNikunj A Dadhania void helper_slbie(CPUPPCState *env, target_ulong addr)
138a63f1dfcSNikunj A Dadhania {
139a63f1dfcSNikunj A Dadhania     __helper_slbie(env, addr, false);
140a63f1dfcSNikunj A Dadhania }
141a63f1dfcSNikunj A Dadhania 
142a63f1dfcSNikunj A Dadhania void helper_slbieg(CPUPPCState *env, target_ulong addr)
143a63f1dfcSNikunj A Dadhania {
144a63f1dfcSNikunj A Dadhania     __helper_slbie(env, addr, true);
145a63f1dfcSNikunj A Dadhania }
146a63f1dfcSNikunj A Dadhania 
147fcf5ef2aSThomas Huth int ppc_store_slb(PowerPCCPU *cpu, target_ulong slot,
148fcf5ef2aSThomas Huth                   target_ulong esid, target_ulong vsid)
149fcf5ef2aSThomas Huth {
150fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
151fcf5ef2aSThomas Huth     ppc_slb_t *slb = &env->slb[slot];
152fcf5ef2aSThomas Huth     const struct ppc_one_seg_page_size *sps = NULL;
153fcf5ef2aSThomas Huth     int i;
154fcf5ef2aSThomas Huth 
155fcf5ef2aSThomas Huth     if (slot >= env->slb_nr) {
156fcf5ef2aSThomas Huth         return -1; /* Bad slot number */
157fcf5ef2aSThomas Huth     }
158fcf5ef2aSThomas Huth     if (esid & ~(SLB_ESID_ESID | SLB_ESID_V)) {
159fcf5ef2aSThomas Huth         return -1; /* Reserved bits set */
160fcf5ef2aSThomas Huth     }
161fcf5ef2aSThomas Huth     if (vsid & (SLB_VSID_B & ~SLB_VSID_B_1T)) {
162fcf5ef2aSThomas Huth         return -1; /* Bad segment size */
163fcf5ef2aSThomas Huth     }
164fcf5ef2aSThomas Huth     if ((vsid & SLB_VSID_B) && !(env->mmu_model & POWERPC_MMU_1TSEG)) {
165fcf5ef2aSThomas Huth         return -1; /* 1T segment on MMU that doesn't support it */
166fcf5ef2aSThomas Huth     }
167fcf5ef2aSThomas Huth 
168fcf5ef2aSThomas Huth     for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) {
169fcf5ef2aSThomas Huth         const struct ppc_one_seg_page_size *sps1 = &env->sps.sps[i];
170fcf5ef2aSThomas Huth 
171fcf5ef2aSThomas Huth         if (!sps1->page_shift) {
172fcf5ef2aSThomas Huth             break;
173fcf5ef2aSThomas Huth         }
174fcf5ef2aSThomas Huth 
175fcf5ef2aSThomas Huth         if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) {
176fcf5ef2aSThomas Huth             sps = sps1;
177fcf5ef2aSThomas Huth             break;
178fcf5ef2aSThomas Huth         }
179fcf5ef2aSThomas Huth     }
180fcf5ef2aSThomas Huth 
181fcf5ef2aSThomas Huth     if (!sps) {
182fcf5ef2aSThomas Huth         error_report("Bad page size encoding in SLB store: slot "TARGET_FMT_lu
183fcf5ef2aSThomas Huth                      " esid 0x"TARGET_FMT_lx" vsid 0x"TARGET_FMT_lx,
184fcf5ef2aSThomas Huth                      slot, esid, vsid);
185fcf5ef2aSThomas Huth         return -1;
186fcf5ef2aSThomas Huth     }
187fcf5ef2aSThomas Huth 
188fcf5ef2aSThomas Huth     slb->esid = esid;
189fcf5ef2aSThomas Huth     slb->vsid = vsid;
190fcf5ef2aSThomas Huth     slb->sps = sps;
191fcf5ef2aSThomas Huth 
19276134d48SSuraj Jitindar Singh     LOG_SLB("%s: " TARGET_FMT_lu " " TARGET_FMT_lx " - " TARGET_FMT_lx
19376134d48SSuraj Jitindar Singh             " => %016" PRIx64 " %016" PRIx64 "\n", __func__, slot, esid, vsid,
194fcf5ef2aSThomas Huth             slb->esid, slb->vsid);
195fcf5ef2aSThomas Huth 
196fcf5ef2aSThomas Huth     return 0;
197fcf5ef2aSThomas Huth }
198fcf5ef2aSThomas Huth 
199fcf5ef2aSThomas Huth static int ppc_load_slb_esid(PowerPCCPU *cpu, target_ulong rb,
200fcf5ef2aSThomas Huth                              target_ulong *rt)
201fcf5ef2aSThomas Huth {
202fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
203fcf5ef2aSThomas Huth     int slot = rb & 0xfff;
204fcf5ef2aSThomas Huth     ppc_slb_t *slb = &env->slb[slot];
205fcf5ef2aSThomas Huth 
206fcf5ef2aSThomas Huth     if (slot >= env->slb_nr) {
207fcf5ef2aSThomas Huth         return -1;
208fcf5ef2aSThomas Huth     }
209fcf5ef2aSThomas Huth 
210fcf5ef2aSThomas Huth     *rt = slb->esid;
211fcf5ef2aSThomas Huth     return 0;
212fcf5ef2aSThomas Huth }
213fcf5ef2aSThomas Huth 
214fcf5ef2aSThomas Huth static int ppc_load_slb_vsid(PowerPCCPU *cpu, target_ulong rb,
215fcf5ef2aSThomas Huth                              target_ulong *rt)
216fcf5ef2aSThomas Huth {
217fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
218fcf5ef2aSThomas Huth     int slot = rb & 0xfff;
219fcf5ef2aSThomas Huth     ppc_slb_t *slb = &env->slb[slot];
220fcf5ef2aSThomas Huth 
221fcf5ef2aSThomas Huth     if (slot >= env->slb_nr) {
222fcf5ef2aSThomas Huth         return -1;
223fcf5ef2aSThomas Huth     }
224fcf5ef2aSThomas Huth 
225fcf5ef2aSThomas Huth     *rt = slb->vsid;
226fcf5ef2aSThomas Huth     return 0;
227fcf5ef2aSThomas Huth }
228fcf5ef2aSThomas Huth 
229fcf5ef2aSThomas Huth static int ppc_find_slb_vsid(PowerPCCPU *cpu, target_ulong rb,
230fcf5ef2aSThomas Huth                              target_ulong *rt)
231fcf5ef2aSThomas Huth {
232fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
233fcf5ef2aSThomas Huth     ppc_slb_t *slb;
234fcf5ef2aSThomas Huth 
235fcf5ef2aSThomas Huth     if (!msr_is_64bit(env, env->msr)) {
236fcf5ef2aSThomas Huth         rb &= 0xffffffff;
237fcf5ef2aSThomas Huth     }
238fcf5ef2aSThomas Huth     slb = slb_lookup(cpu, rb);
239fcf5ef2aSThomas Huth     if (slb == NULL) {
240fcf5ef2aSThomas Huth         *rt = (target_ulong)-1ul;
241fcf5ef2aSThomas Huth     } else {
242fcf5ef2aSThomas Huth         *rt = slb->vsid;
243fcf5ef2aSThomas Huth     }
244fcf5ef2aSThomas Huth     return 0;
245fcf5ef2aSThomas Huth }
246fcf5ef2aSThomas Huth 
247fcf5ef2aSThomas Huth void helper_store_slb(CPUPPCState *env, target_ulong rb, target_ulong rs)
248fcf5ef2aSThomas Huth {
249fcf5ef2aSThomas Huth     PowerPCCPU *cpu = ppc_env_get_cpu(env);
250fcf5ef2aSThomas Huth 
251fcf5ef2aSThomas Huth     if (ppc_store_slb(cpu, rb & 0xfff, rb & ~0xfffULL, rs) < 0) {
252fcf5ef2aSThomas Huth         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
253fcf5ef2aSThomas Huth                                POWERPC_EXCP_INVAL, GETPC());
254fcf5ef2aSThomas Huth     }
255fcf5ef2aSThomas Huth }
256fcf5ef2aSThomas Huth 
257fcf5ef2aSThomas Huth target_ulong helper_load_slb_esid(CPUPPCState *env, target_ulong rb)
258fcf5ef2aSThomas Huth {
259fcf5ef2aSThomas Huth     PowerPCCPU *cpu = ppc_env_get_cpu(env);
260fcf5ef2aSThomas Huth     target_ulong rt = 0;
261fcf5ef2aSThomas Huth 
262fcf5ef2aSThomas Huth     if (ppc_load_slb_esid(cpu, rb, &rt) < 0) {
263fcf5ef2aSThomas Huth         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
264fcf5ef2aSThomas Huth                                POWERPC_EXCP_INVAL, GETPC());
265fcf5ef2aSThomas Huth     }
266fcf5ef2aSThomas Huth     return rt;
267fcf5ef2aSThomas Huth }
268fcf5ef2aSThomas Huth 
269fcf5ef2aSThomas Huth target_ulong helper_find_slb_vsid(CPUPPCState *env, target_ulong rb)
270fcf5ef2aSThomas Huth {
271fcf5ef2aSThomas Huth     PowerPCCPU *cpu = ppc_env_get_cpu(env);
272fcf5ef2aSThomas Huth     target_ulong rt = 0;
273fcf5ef2aSThomas Huth 
274fcf5ef2aSThomas Huth     if (ppc_find_slb_vsid(cpu, rb, &rt) < 0) {
275fcf5ef2aSThomas Huth         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
276fcf5ef2aSThomas Huth                                POWERPC_EXCP_INVAL, GETPC());
277fcf5ef2aSThomas Huth     }
278fcf5ef2aSThomas Huth     return rt;
279fcf5ef2aSThomas Huth }
280fcf5ef2aSThomas Huth 
281fcf5ef2aSThomas Huth target_ulong helper_load_slb_vsid(CPUPPCState *env, target_ulong rb)
282fcf5ef2aSThomas Huth {
283fcf5ef2aSThomas Huth     PowerPCCPU *cpu = ppc_env_get_cpu(env);
284fcf5ef2aSThomas Huth     target_ulong rt = 0;
285fcf5ef2aSThomas Huth 
286fcf5ef2aSThomas Huth     if (ppc_load_slb_vsid(cpu, rb, &rt) < 0) {
287fcf5ef2aSThomas Huth         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
288fcf5ef2aSThomas Huth                                POWERPC_EXCP_INVAL, GETPC());
289fcf5ef2aSThomas Huth     }
290fcf5ef2aSThomas Huth     return rt;
291fcf5ef2aSThomas Huth }
292fcf5ef2aSThomas Huth 
293fcf5ef2aSThomas Huth static int ppc_hash64_pte_prot(PowerPCCPU *cpu,
294fcf5ef2aSThomas Huth                                ppc_slb_t *slb, ppc_hash_pte64_t pte)
295fcf5ef2aSThomas Huth {
296fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
297fcf5ef2aSThomas Huth     unsigned pp, key;
298fcf5ef2aSThomas Huth     /* Some pp bit combinations have undefined behaviour, so default
299fcf5ef2aSThomas Huth      * to no access in those cases */
300fcf5ef2aSThomas Huth     int prot = 0;
301fcf5ef2aSThomas Huth 
302fcf5ef2aSThomas Huth     key = !!(msr_pr ? (slb->vsid & SLB_VSID_KP)
303fcf5ef2aSThomas Huth              : (slb->vsid & SLB_VSID_KS));
304fcf5ef2aSThomas Huth     pp = (pte.pte1 & HPTE64_R_PP) | ((pte.pte1 & HPTE64_R_PP0) >> 61);
305fcf5ef2aSThomas Huth 
306fcf5ef2aSThomas Huth     if (key == 0) {
307fcf5ef2aSThomas Huth         switch (pp) {
308fcf5ef2aSThomas Huth         case 0x0:
309fcf5ef2aSThomas Huth         case 0x1:
310fcf5ef2aSThomas Huth         case 0x2:
311fcf5ef2aSThomas Huth             prot = PAGE_READ | PAGE_WRITE;
312fcf5ef2aSThomas Huth             break;
313fcf5ef2aSThomas Huth 
314fcf5ef2aSThomas Huth         case 0x3:
315fcf5ef2aSThomas Huth         case 0x6:
316fcf5ef2aSThomas Huth             prot = PAGE_READ;
317fcf5ef2aSThomas Huth             break;
318fcf5ef2aSThomas Huth         }
319fcf5ef2aSThomas Huth     } else {
320fcf5ef2aSThomas Huth         switch (pp) {
321fcf5ef2aSThomas Huth         case 0x0:
322fcf5ef2aSThomas Huth         case 0x6:
323fcf5ef2aSThomas Huth             prot = 0;
324fcf5ef2aSThomas Huth             break;
325fcf5ef2aSThomas Huth 
326fcf5ef2aSThomas Huth         case 0x1:
327fcf5ef2aSThomas Huth         case 0x3:
328fcf5ef2aSThomas Huth             prot = PAGE_READ;
329fcf5ef2aSThomas Huth             break;
330fcf5ef2aSThomas Huth 
331fcf5ef2aSThomas Huth         case 0x2:
332fcf5ef2aSThomas Huth             prot = PAGE_READ | PAGE_WRITE;
333fcf5ef2aSThomas Huth             break;
334fcf5ef2aSThomas Huth         }
335fcf5ef2aSThomas Huth     }
336fcf5ef2aSThomas Huth 
337fcf5ef2aSThomas Huth     /* No execute if either noexec or guarded bits set */
338fcf5ef2aSThomas Huth     if (!(pte.pte1 & HPTE64_R_N) || (pte.pte1 & HPTE64_R_G)
339fcf5ef2aSThomas Huth         || (slb->vsid & SLB_VSID_N)) {
340fcf5ef2aSThomas Huth         prot |= PAGE_EXEC;
341fcf5ef2aSThomas Huth     }
342fcf5ef2aSThomas Huth 
343fcf5ef2aSThomas Huth     return prot;
344fcf5ef2aSThomas Huth }
345fcf5ef2aSThomas Huth 
346fcf5ef2aSThomas Huth static int ppc_hash64_amr_prot(PowerPCCPU *cpu, ppc_hash_pte64_t pte)
347fcf5ef2aSThomas Huth {
348fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
349fcf5ef2aSThomas Huth     int key, amrbits;
350fcf5ef2aSThomas Huth     int prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
351fcf5ef2aSThomas Huth 
352fcf5ef2aSThomas Huth     /* Only recent MMUs implement Virtual Page Class Key Protection */
353fcf5ef2aSThomas Huth     if (!(env->mmu_model & POWERPC_MMU_AMR)) {
354fcf5ef2aSThomas Huth         return prot;
355fcf5ef2aSThomas Huth     }
356fcf5ef2aSThomas Huth 
357fcf5ef2aSThomas Huth     key = HPTE64_R_KEY(pte.pte1);
358fcf5ef2aSThomas Huth     amrbits = (env->spr[SPR_AMR] >> 2*(31 - key)) & 0x3;
359fcf5ef2aSThomas Huth 
360fcf5ef2aSThomas Huth     /* fprintf(stderr, "AMR protection: key=%d AMR=0x%" PRIx64 "\n", key, */
361fcf5ef2aSThomas Huth     /*         env->spr[SPR_AMR]); */
362fcf5ef2aSThomas Huth 
363fcf5ef2aSThomas Huth     /*
364fcf5ef2aSThomas Huth      * A store is permitted if the AMR bit is 0. Remove write
365fcf5ef2aSThomas Huth      * protection if it is set.
366fcf5ef2aSThomas Huth      */
367fcf5ef2aSThomas Huth     if (amrbits & 0x2) {
368fcf5ef2aSThomas Huth         prot &= ~PAGE_WRITE;
369fcf5ef2aSThomas Huth     }
370fcf5ef2aSThomas Huth     /*
371fcf5ef2aSThomas Huth      * A load is permitted if the AMR bit is 0. Remove read
372fcf5ef2aSThomas Huth      * protection if it is set.
373fcf5ef2aSThomas Huth      */
374fcf5ef2aSThomas Huth     if (amrbits & 0x1) {
375fcf5ef2aSThomas Huth         prot &= ~PAGE_READ;
376fcf5ef2aSThomas Huth     }
377fcf5ef2aSThomas Huth 
378fcf5ef2aSThomas Huth     return prot;
379fcf5ef2aSThomas Huth }
380fcf5ef2aSThomas Huth 
3817222b94aSDavid Gibson const ppc_hash_pte64_t *ppc_hash64_map_hptes(PowerPCCPU *cpu,
3827222b94aSDavid Gibson                                              hwaddr ptex, int n)
383fcf5ef2aSThomas Huth {
3847222b94aSDavid Gibson     hwaddr pte_offset = ptex * HASH_PTE_SIZE_64;
38536778660SDavid Gibson     hwaddr base = ppc_hash64_hpt_base(cpu);
3867222b94aSDavid Gibson     hwaddr plen = n * HASH_PTE_SIZE_64;
387e57ca75cSDavid Gibson     const ppc_hash_pte64_t *hptes;
388e57ca75cSDavid Gibson 
389e57ca75cSDavid Gibson     if (cpu->vhyp) {
390e57ca75cSDavid Gibson         PPCVirtualHypervisorClass *vhc =
391e57ca75cSDavid Gibson             PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
392e57ca75cSDavid Gibson         return vhc->map_hptes(cpu->vhyp, ptex, n);
393e57ca75cSDavid Gibson     }
394e57ca75cSDavid Gibson 
395e57ca75cSDavid Gibson     if (!base) {
396e57ca75cSDavid Gibson         return NULL;
397e57ca75cSDavid Gibson     }
398e57ca75cSDavid Gibson 
399e57ca75cSDavid Gibson     hptes = address_space_map(CPU(cpu)->as, base + pte_offset, &plen, false);
4007222b94aSDavid Gibson     if (plen < (n * HASH_PTE_SIZE_64)) {
4017222b94aSDavid Gibson         hw_error("%s: Unable to map all requested HPTEs\n", __func__);
402fcf5ef2aSThomas Huth     }
4037222b94aSDavid Gibson     return hptes;
404fcf5ef2aSThomas Huth }
405fcf5ef2aSThomas Huth 
4067222b94aSDavid Gibson void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes,
4077222b94aSDavid Gibson                             hwaddr ptex, int n)
408fcf5ef2aSThomas Huth {
409e57ca75cSDavid Gibson     if (cpu->vhyp) {
410e57ca75cSDavid Gibson         PPCVirtualHypervisorClass *vhc =
411e57ca75cSDavid Gibson             PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
412e57ca75cSDavid Gibson         vhc->unmap_hptes(cpu->vhyp, hptes, ptex, n);
413e57ca75cSDavid Gibson         return;
414e57ca75cSDavid Gibson     }
415e57ca75cSDavid Gibson 
4167222b94aSDavid Gibson     address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64,
4177222b94aSDavid Gibson                         false, n * HASH_PTE_SIZE_64);
418fcf5ef2aSThomas Huth }
419fcf5ef2aSThomas Huth 
420fcf5ef2aSThomas Huth static unsigned hpte_page_shift(const struct ppc_one_seg_page_size *sps,
421fcf5ef2aSThomas Huth     uint64_t pte0, uint64_t pte1)
422fcf5ef2aSThomas Huth {
423fcf5ef2aSThomas Huth     int i;
424fcf5ef2aSThomas Huth 
425fcf5ef2aSThomas Huth     if (!(pte0 & HPTE64_V_LARGE)) {
426fcf5ef2aSThomas Huth         if (sps->page_shift != 12) {
427fcf5ef2aSThomas Huth             /* 4kiB page in a non 4kiB segment */
428fcf5ef2aSThomas Huth             return 0;
429fcf5ef2aSThomas Huth         }
430fcf5ef2aSThomas Huth         /* Normal 4kiB page */
431fcf5ef2aSThomas Huth         return 12;
432fcf5ef2aSThomas Huth     }
433fcf5ef2aSThomas Huth 
434fcf5ef2aSThomas Huth     for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) {
435fcf5ef2aSThomas Huth         const struct ppc_one_page_size *ps = &sps->enc[i];
436fcf5ef2aSThomas Huth         uint64_t mask;
437fcf5ef2aSThomas Huth 
438fcf5ef2aSThomas Huth         if (!ps->page_shift) {
439fcf5ef2aSThomas Huth             break;
440fcf5ef2aSThomas Huth         }
441fcf5ef2aSThomas Huth 
442fcf5ef2aSThomas Huth         if (ps->page_shift == 12) {
443fcf5ef2aSThomas Huth             /* L bit is set so this can't be a 4kiB page */
444fcf5ef2aSThomas Huth             continue;
445fcf5ef2aSThomas Huth         }
446fcf5ef2aSThomas Huth 
447fcf5ef2aSThomas Huth         mask = ((1ULL << ps->page_shift) - 1) & HPTE64_R_RPN;
448fcf5ef2aSThomas Huth 
449fcf5ef2aSThomas Huth         if ((pte1 & mask) == ((uint64_t)ps->pte_enc << HPTE64_R_RPN_SHIFT)) {
450fcf5ef2aSThomas Huth             return ps->page_shift;
451fcf5ef2aSThomas Huth         }
452fcf5ef2aSThomas Huth     }
453fcf5ef2aSThomas Huth 
454fcf5ef2aSThomas Huth     return 0; /* Bad page size encoding */
455fcf5ef2aSThomas Huth }
456fcf5ef2aSThomas Huth 
457fcf5ef2aSThomas Huth static hwaddr ppc_hash64_pteg_search(PowerPCCPU *cpu, hwaddr hash,
458fcf5ef2aSThomas Huth                                      const struct ppc_one_seg_page_size *sps,
459fcf5ef2aSThomas Huth                                      target_ulong ptem,
460fcf5ef2aSThomas Huth                                      ppc_hash_pte64_t *pte, unsigned *pshift)
461fcf5ef2aSThomas Huth {
462fcf5ef2aSThomas Huth     int i;
4637222b94aSDavid Gibson     const ppc_hash_pte64_t *pteg;
464fcf5ef2aSThomas Huth     target_ulong pte0, pte1;
4657222b94aSDavid Gibson     target_ulong ptex;
466fcf5ef2aSThomas Huth 
46736778660SDavid Gibson     ptex = (hash & ppc_hash64_hpt_mask(cpu)) * HPTES_PER_GROUP;
4687222b94aSDavid Gibson     pteg = ppc_hash64_map_hptes(cpu, ptex, HPTES_PER_GROUP);
4697222b94aSDavid Gibson     if (!pteg) {
470fcf5ef2aSThomas Huth         return -1;
471fcf5ef2aSThomas Huth     }
472fcf5ef2aSThomas Huth     for (i = 0; i < HPTES_PER_GROUP; i++) {
4737222b94aSDavid Gibson         pte0 = ppc_hash64_hpte0(cpu, pteg, i);
4747222b94aSDavid Gibson         pte1 = ppc_hash64_hpte1(cpu, pteg, i);
475fcf5ef2aSThomas Huth 
476fcf5ef2aSThomas Huth         /* This compares V, B, H (secondary) and the AVPN */
477fcf5ef2aSThomas Huth         if (HPTE64_V_COMPARE(pte0, ptem)) {
478fcf5ef2aSThomas Huth             *pshift = hpte_page_shift(sps, pte0, pte1);
479fcf5ef2aSThomas Huth             /*
480fcf5ef2aSThomas Huth              * If there is no match, ignore the PTE, it could simply
481fcf5ef2aSThomas Huth              * be for a different segment size encoding and the
482fcf5ef2aSThomas Huth              * architecture specifies we should not match. Linux will
483fcf5ef2aSThomas Huth              * potentially leave behind PTEs for the wrong base page
484fcf5ef2aSThomas Huth              * size when demoting segments.
485fcf5ef2aSThomas Huth              */
486fcf5ef2aSThomas Huth             if (*pshift == 0) {
487fcf5ef2aSThomas Huth                 continue;
488fcf5ef2aSThomas Huth             }
489fcf5ef2aSThomas Huth             /* We don't do anything with pshift yet as qemu TLB only deals
490fcf5ef2aSThomas Huth              * with 4K pages anyway
491fcf5ef2aSThomas Huth              */
492fcf5ef2aSThomas Huth             pte->pte0 = pte0;
493fcf5ef2aSThomas Huth             pte->pte1 = pte1;
4947222b94aSDavid Gibson             ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP);
4957222b94aSDavid Gibson             return ptex + i;
496fcf5ef2aSThomas Huth         }
497fcf5ef2aSThomas Huth     }
4987222b94aSDavid Gibson     ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP);
499fcf5ef2aSThomas Huth     /*
500fcf5ef2aSThomas Huth      * We didn't find a valid entry.
501fcf5ef2aSThomas Huth      */
502fcf5ef2aSThomas Huth     return -1;
503fcf5ef2aSThomas Huth }
504fcf5ef2aSThomas Huth 
505fcf5ef2aSThomas Huth static hwaddr ppc_hash64_htab_lookup(PowerPCCPU *cpu,
506fcf5ef2aSThomas Huth                                      ppc_slb_t *slb, target_ulong eaddr,
507fcf5ef2aSThomas Huth                                      ppc_hash_pte64_t *pte, unsigned *pshift)
508fcf5ef2aSThomas Huth {
509fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
5107222b94aSDavid Gibson     hwaddr hash, ptex;
511fcf5ef2aSThomas Huth     uint64_t vsid, epnmask, epn, ptem;
512fcf5ef2aSThomas Huth     const struct ppc_one_seg_page_size *sps = slb->sps;
513fcf5ef2aSThomas Huth 
514fcf5ef2aSThomas Huth     /* The SLB store path should prevent any bad page size encodings
515fcf5ef2aSThomas Huth      * getting in there, so: */
516fcf5ef2aSThomas Huth     assert(sps);
517fcf5ef2aSThomas Huth 
518fcf5ef2aSThomas Huth     /* If ISL is set in LPCR we need to clamp the page size to 4K */
519fcf5ef2aSThomas Huth     if (env->spr[SPR_LPCR] & LPCR_ISL) {
520fcf5ef2aSThomas Huth         /* We assume that when using TCG, 4k is first entry of SPS */
521fcf5ef2aSThomas Huth         sps = &env->sps.sps[0];
522fcf5ef2aSThomas Huth         assert(sps->page_shift == 12);
523fcf5ef2aSThomas Huth     }
524fcf5ef2aSThomas Huth 
525fcf5ef2aSThomas Huth     epnmask = ~((1ULL << sps->page_shift) - 1);
526fcf5ef2aSThomas Huth 
527fcf5ef2aSThomas Huth     if (slb->vsid & SLB_VSID_B) {
528fcf5ef2aSThomas Huth         /* 1TB segment */
529fcf5ef2aSThomas Huth         vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT_1T;
530fcf5ef2aSThomas Huth         epn = (eaddr & ~SEGMENT_MASK_1T) & epnmask;
531fcf5ef2aSThomas Huth         hash = vsid ^ (vsid << 25) ^ (epn >> sps->page_shift);
532fcf5ef2aSThomas Huth     } else {
533fcf5ef2aSThomas Huth         /* 256M segment */
534fcf5ef2aSThomas Huth         vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT;
535fcf5ef2aSThomas Huth         epn = (eaddr & ~SEGMENT_MASK_256M) & epnmask;
536fcf5ef2aSThomas Huth         hash = vsid ^ (epn >> sps->page_shift);
537fcf5ef2aSThomas Huth     }
538fcf5ef2aSThomas Huth     ptem = (slb->vsid & SLB_VSID_PTEM) | ((epn >> 16) & HPTE64_V_AVPN);
539fcf5ef2aSThomas Huth     ptem |= HPTE64_V_VALID;
540fcf5ef2aSThomas Huth 
541fcf5ef2aSThomas Huth     /* Page address translation */
542fcf5ef2aSThomas Huth     qemu_log_mask(CPU_LOG_MMU,
543fcf5ef2aSThomas Huth             "htab_base " TARGET_FMT_plx " htab_mask " TARGET_FMT_plx
544fcf5ef2aSThomas Huth             " hash " TARGET_FMT_plx "\n",
54536778660SDavid Gibson             ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), hash);
546fcf5ef2aSThomas Huth 
547fcf5ef2aSThomas Huth     /* Primary PTEG lookup */
548fcf5ef2aSThomas Huth     qemu_log_mask(CPU_LOG_MMU,
549fcf5ef2aSThomas Huth             "0 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx
550fcf5ef2aSThomas Huth             " vsid=" TARGET_FMT_lx " ptem=" TARGET_FMT_lx
551fcf5ef2aSThomas Huth             " hash=" TARGET_FMT_plx "\n",
55236778660SDavid Gibson             ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu),
55336778660SDavid Gibson             vsid, ptem,  hash);
5547222b94aSDavid Gibson     ptex = ppc_hash64_pteg_search(cpu, hash, sps, ptem, pte, pshift);
555fcf5ef2aSThomas Huth 
5567222b94aSDavid Gibson     if (ptex == -1) {
557fcf5ef2aSThomas Huth         /* Secondary PTEG lookup */
558fcf5ef2aSThomas Huth         ptem |= HPTE64_V_SECONDARY;
559fcf5ef2aSThomas Huth         qemu_log_mask(CPU_LOG_MMU,
560fcf5ef2aSThomas Huth                 "1 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx
561fcf5ef2aSThomas Huth                 " vsid=" TARGET_FMT_lx " api=" TARGET_FMT_lx
56236778660SDavid Gibson                 " hash=" TARGET_FMT_plx "\n", ppc_hash64_hpt_base(cpu),
56336778660SDavid Gibson                 ppc_hash64_hpt_mask(cpu), vsid, ptem, ~hash);
564fcf5ef2aSThomas Huth 
5657222b94aSDavid Gibson         ptex = ppc_hash64_pteg_search(cpu, ~hash, sps, ptem, pte, pshift);
566fcf5ef2aSThomas Huth     }
567fcf5ef2aSThomas Huth 
5687222b94aSDavid Gibson     return ptex;
569fcf5ef2aSThomas Huth }
570fcf5ef2aSThomas Huth 
571fcf5ef2aSThomas Huth unsigned ppc_hash64_hpte_page_shift_noslb(PowerPCCPU *cpu,
572fcf5ef2aSThomas Huth                                           uint64_t pte0, uint64_t pte1)
573fcf5ef2aSThomas Huth {
574fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
575fcf5ef2aSThomas Huth     int i;
576fcf5ef2aSThomas Huth 
577fcf5ef2aSThomas Huth     if (!(pte0 & HPTE64_V_LARGE)) {
578fcf5ef2aSThomas Huth         return 12;
579fcf5ef2aSThomas Huth     }
580fcf5ef2aSThomas Huth 
581fcf5ef2aSThomas Huth     /*
582fcf5ef2aSThomas Huth      * The encodings in env->sps need to be carefully chosen so that
583fcf5ef2aSThomas Huth      * this gives an unambiguous result.
584fcf5ef2aSThomas Huth      */
585fcf5ef2aSThomas Huth     for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) {
586fcf5ef2aSThomas Huth         const struct ppc_one_seg_page_size *sps = &env->sps.sps[i];
587fcf5ef2aSThomas Huth         unsigned shift;
588fcf5ef2aSThomas Huth 
589fcf5ef2aSThomas Huth         if (!sps->page_shift) {
590fcf5ef2aSThomas Huth             break;
591fcf5ef2aSThomas Huth         }
592fcf5ef2aSThomas Huth 
593fcf5ef2aSThomas Huth         shift = hpte_page_shift(sps, pte0, pte1);
594fcf5ef2aSThomas Huth         if (shift) {
595fcf5ef2aSThomas Huth             return shift;
596fcf5ef2aSThomas Huth         }
597fcf5ef2aSThomas Huth     }
598fcf5ef2aSThomas Huth 
599fcf5ef2aSThomas Huth     return 0;
600fcf5ef2aSThomas Huth }
601fcf5ef2aSThomas Huth 
602fcf5ef2aSThomas Huth static void ppc_hash64_set_isi(CPUState *cs, CPUPPCState *env,
603fcf5ef2aSThomas Huth                                uint64_t error_code)
604fcf5ef2aSThomas Huth {
605fcf5ef2aSThomas Huth     bool vpm;
606fcf5ef2aSThomas Huth 
607fcf5ef2aSThomas Huth     if (msr_ir) {
608fcf5ef2aSThomas Huth         vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1);
609fcf5ef2aSThomas Huth     } else {
61050659083SSuraj Jitindar Singh         switch (env->mmu_model) {
61150659083SSuraj Jitindar Singh         case POWERPC_MMU_3_00:
61250659083SSuraj Jitindar Singh             /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */
61350659083SSuraj Jitindar Singh             vpm = true;
61450659083SSuraj Jitindar Singh             break;
61550659083SSuraj Jitindar Singh         default:
616fcf5ef2aSThomas Huth             vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0);
61750659083SSuraj Jitindar Singh             break;
61850659083SSuraj Jitindar Singh         }
619fcf5ef2aSThomas Huth     }
620fcf5ef2aSThomas Huth     if (vpm && !msr_hv) {
621fcf5ef2aSThomas Huth         cs->exception_index = POWERPC_EXCP_HISI;
622fcf5ef2aSThomas Huth     } else {
623fcf5ef2aSThomas Huth         cs->exception_index = POWERPC_EXCP_ISI;
624fcf5ef2aSThomas Huth     }
625fcf5ef2aSThomas Huth     env->error_code = error_code;
626fcf5ef2aSThomas Huth }
627fcf5ef2aSThomas Huth 
628fcf5ef2aSThomas Huth static void ppc_hash64_set_dsi(CPUState *cs, CPUPPCState *env, uint64_t dar,
629fcf5ef2aSThomas Huth                                uint64_t dsisr)
630fcf5ef2aSThomas Huth {
631fcf5ef2aSThomas Huth     bool vpm;
632fcf5ef2aSThomas Huth 
633fcf5ef2aSThomas Huth     if (msr_dr) {
634fcf5ef2aSThomas Huth         vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1);
635fcf5ef2aSThomas Huth     } else {
63650659083SSuraj Jitindar Singh         switch (env->mmu_model) {
63750659083SSuraj Jitindar Singh         case POWERPC_MMU_3_00:
63850659083SSuraj Jitindar Singh             /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */
63950659083SSuraj Jitindar Singh             vpm = true;
64050659083SSuraj Jitindar Singh             break;
64150659083SSuraj Jitindar Singh         default:
642fcf5ef2aSThomas Huth             vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0);
64350659083SSuraj Jitindar Singh             break;
64450659083SSuraj Jitindar Singh         }
645fcf5ef2aSThomas Huth     }
646fcf5ef2aSThomas Huth     if (vpm && !msr_hv) {
647fcf5ef2aSThomas Huth         cs->exception_index = POWERPC_EXCP_HDSI;
648fcf5ef2aSThomas Huth         env->spr[SPR_HDAR] = dar;
649fcf5ef2aSThomas Huth         env->spr[SPR_HDSISR] = dsisr;
650fcf5ef2aSThomas Huth     } else {
651fcf5ef2aSThomas Huth         cs->exception_index = POWERPC_EXCP_DSI;
652fcf5ef2aSThomas Huth         env->spr[SPR_DAR] = dar;
653fcf5ef2aSThomas Huth         env->spr[SPR_DSISR] = dsisr;
654fcf5ef2aSThomas Huth    }
655fcf5ef2aSThomas Huth     env->error_code = 0;
656fcf5ef2aSThomas Huth }
657fcf5ef2aSThomas Huth 
658fcf5ef2aSThomas Huth 
659fcf5ef2aSThomas Huth int ppc_hash64_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr,
660fcf5ef2aSThomas Huth                                 int rwx, int mmu_idx)
661fcf5ef2aSThomas Huth {
662fcf5ef2aSThomas Huth     CPUState *cs = CPU(cpu);
663fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
664fcf5ef2aSThomas Huth     ppc_slb_t *slb;
665fcf5ef2aSThomas Huth     unsigned apshift;
6667222b94aSDavid Gibson     hwaddr ptex;
667fcf5ef2aSThomas Huth     ppc_hash_pte64_t pte;
668fcf5ef2aSThomas Huth     int pp_prot, amr_prot, prot;
669fcf5ef2aSThomas Huth     uint64_t new_pte1, dsisr;
670fcf5ef2aSThomas Huth     const int need_prot[] = {PAGE_READ, PAGE_WRITE, PAGE_EXEC};
671fcf5ef2aSThomas Huth     hwaddr raddr;
672fcf5ef2aSThomas Huth 
673fcf5ef2aSThomas Huth     assert((rwx == 0) || (rwx == 1) || (rwx == 2));
674fcf5ef2aSThomas Huth 
675fcf5ef2aSThomas Huth     /* Note on LPCR usage: 970 uses HID4, but our special variant
676fcf5ef2aSThomas Huth      * of store_spr copies relevant fields into env->spr[SPR_LPCR].
677fcf5ef2aSThomas Huth      * Similarily we filter unimplemented bits when storing into
678fcf5ef2aSThomas Huth      * LPCR depending on the MMU version. This code can thus just
679fcf5ef2aSThomas Huth      * use the LPCR "as-is".
680fcf5ef2aSThomas Huth      */
681fcf5ef2aSThomas Huth 
682fcf5ef2aSThomas Huth     /* 1. Handle real mode accesses */
683fcf5ef2aSThomas Huth     if (((rwx == 2) && (msr_ir == 0)) || ((rwx != 2) && (msr_dr == 0))) {
684fcf5ef2aSThomas Huth         /* Translation is supposedly "off"  */
685fcf5ef2aSThomas Huth         /* In real mode the top 4 effective address bits are (mostly) ignored */
686fcf5ef2aSThomas Huth         raddr = eaddr & 0x0FFFFFFFFFFFFFFFULL;
687fcf5ef2aSThomas Huth 
688fcf5ef2aSThomas Huth         /* In HV mode, add HRMOR if top EA bit is clear */
689fcf5ef2aSThomas Huth         if (msr_hv || !env->has_hv_mode) {
690fcf5ef2aSThomas Huth             if (!(eaddr >> 63)) {
691fcf5ef2aSThomas Huth                 raddr |= env->spr[SPR_HRMOR];
692fcf5ef2aSThomas Huth             }
693fcf5ef2aSThomas Huth         } else {
694fcf5ef2aSThomas Huth             /* Otherwise, check VPM for RMA vs VRMA */
695fcf5ef2aSThomas Huth             if (env->spr[SPR_LPCR] & LPCR_VPM0) {
696fcf5ef2aSThomas Huth                 slb = &env->vrma_slb;
697fcf5ef2aSThomas Huth                 if (slb->sps) {
698fcf5ef2aSThomas Huth                     goto skip_slb_search;
699fcf5ef2aSThomas Huth                 }
700fcf5ef2aSThomas Huth                 /* Not much else to do here */
701fcf5ef2aSThomas Huth                 cs->exception_index = POWERPC_EXCP_MCHECK;
702fcf5ef2aSThomas Huth                 env->error_code = 0;
703fcf5ef2aSThomas Huth                 return 1;
704fcf5ef2aSThomas Huth             } else if (raddr < env->rmls) {
705fcf5ef2aSThomas Huth                 /* RMA. Check bounds in RMLS */
706fcf5ef2aSThomas Huth                 raddr |= env->spr[SPR_RMOR];
707fcf5ef2aSThomas Huth             } else {
708fcf5ef2aSThomas Huth                 /* The access failed, generate the approriate interrupt */
709fcf5ef2aSThomas Huth                 if (rwx == 2) {
710fcf5ef2aSThomas Huth                     ppc_hash64_set_isi(cs, env, 0x08000000);
711fcf5ef2aSThomas Huth                 } else {
712fcf5ef2aSThomas Huth                     dsisr = 0x08000000;
713fcf5ef2aSThomas Huth                     if (rwx == 1) {
714fcf5ef2aSThomas Huth                         dsisr |= 0x02000000;
715fcf5ef2aSThomas Huth                     }
716fcf5ef2aSThomas Huth                     ppc_hash64_set_dsi(cs, env, eaddr, dsisr);
717fcf5ef2aSThomas Huth                 }
718fcf5ef2aSThomas Huth                 return 1;
719fcf5ef2aSThomas Huth             }
720fcf5ef2aSThomas Huth         }
721fcf5ef2aSThomas Huth         tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK,
722fcf5ef2aSThomas Huth                      PAGE_READ | PAGE_WRITE | PAGE_EXEC, mmu_idx,
723fcf5ef2aSThomas Huth                      TARGET_PAGE_SIZE);
724fcf5ef2aSThomas Huth         return 0;
725fcf5ef2aSThomas Huth     }
726fcf5ef2aSThomas Huth 
727fcf5ef2aSThomas Huth     /* 2. Translation is on, so look up the SLB */
728fcf5ef2aSThomas Huth     slb = slb_lookup(cpu, eaddr);
729fcf5ef2aSThomas Huth     if (!slb) {
730*b2899495SSuraj Jitindar Singh         /* No entry found, check if in-memory segment tables are in use */
731*b2899495SSuraj Jitindar Singh         if ((env->mmu_model & POWERPC_MMU_V3) && ppc64_use_proc_tbl(cpu)) {
732*b2899495SSuraj Jitindar Singh             /* TODO - Unsupported */
733*b2899495SSuraj Jitindar Singh             error_report("Segment Table Support Unimplemented");
734*b2899495SSuraj Jitindar Singh             exit(1);
735*b2899495SSuraj Jitindar Singh         }
736*b2899495SSuraj Jitindar Singh         /* Segment still not found, generate the appropriate interrupt */
737fcf5ef2aSThomas Huth         if (rwx == 2) {
738fcf5ef2aSThomas Huth             cs->exception_index = POWERPC_EXCP_ISEG;
739fcf5ef2aSThomas Huth             env->error_code = 0;
740fcf5ef2aSThomas Huth         } else {
741fcf5ef2aSThomas Huth             cs->exception_index = POWERPC_EXCP_DSEG;
742fcf5ef2aSThomas Huth             env->error_code = 0;
743fcf5ef2aSThomas Huth             env->spr[SPR_DAR] = eaddr;
744fcf5ef2aSThomas Huth         }
745fcf5ef2aSThomas Huth         return 1;
746fcf5ef2aSThomas Huth     }
747fcf5ef2aSThomas Huth 
748fcf5ef2aSThomas Huth skip_slb_search:
749fcf5ef2aSThomas Huth 
750fcf5ef2aSThomas Huth     /* 3. Check for segment level no-execute violation */
751fcf5ef2aSThomas Huth     if ((rwx == 2) && (slb->vsid & SLB_VSID_N)) {
752fcf5ef2aSThomas Huth         ppc_hash64_set_isi(cs, env, 0x10000000);
753fcf5ef2aSThomas Huth         return 1;
754fcf5ef2aSThomas Huth     }
755fcf5ef2aSThomas Huth 
756fcf5ef2aSThomas Huth     /* 4. Locate the PTE in the hash table */
7577222b94aSDavid Gibson     ptex = ppc_hash64_htab_lookup(cpu, slb, eaddr, &pte, &apshift);
7587222b94aSDavid Gibson     if (ptex == -1) {
759fcf5ef2aSThomas Huth         dsisr = 0x40000000;
760fcf5ef2aSThomas Huth         if (rwx == 2) {
761fcf5ef2aSThomas Huth             ppc_hash64_set_isi(cs, env, dsisr);
762fcf5ef2aSThomas Huth         } else {
763fcf5ef2aSThomas Huth             if (rwx == 1) {
764fcf5ef2aSThomas Huth                 dsisr |= 0x02000000;
765fcf5ef2aSThomas Huth             }
766fcf5ef2aSThomas Huth             ppc_hash64_set_dsi(cs, env, eaddr, dsisr);
767fcf5ef2aSThomas Huth         }
768fcf5ef2aSThomas Huth         return 1;
769fcf5ef2aSThomas Huth     }
770fcf5ef2aSThomas Huth     qemu_log_mask(CPU_LOG_MMU,
7717222b94aSDavid Gibson                   "found PTE at index %08" HWADDR_PRIx "\n", ptex);
772fcf5ef2aSThomas Huth 
773fcf5ef2aSThomas Huth     /* 5. Check access permissions */
774fcf5ef2aSThomas Huth 
775fcf5ef2aSThomas Huth     pp_prot = ppc_hash64_pte_prot(cpu, slb, pte);
776fcf5ef2aSThomas Huth     amr_prot = ppc_hash64_amr_prot(cpu, pte);
777fcf5ef2aSThomas Huth     prot = pp_prot & amr_prot;
778fcf5ef2aSThomas Huth 
779fcf5ef2aSThomas Huth     if ((need_prot[rwx] & ~prot) != 0) {
780fcf5ef2aSThomas Huth         /* Access right violation */
781fcf5ef2aSThomas Huth         qemu_log_mask(CPU_LOG_MMU, "PTE access rejected\n");
782fcf5ef2aSThomas Huth         if (rwx == 2) {
783fcf5ef2aSThomas Huth             ppc_hash64_set_isi(cs, env, 0x08000000);
784fcf5ef2aSThomas Huth         } else {
785fcf5ef2aSThomas Huth             dsisr = 0;
786fcf5ef2aSThomas Huth             if (need_prot[rwx] & ~pp_prot) {
787fcf5ef2aSThomas Huth                 dsisr |= 0x08000000;
788fcf5ef2aSThomas Huth             }
789fcf5ef2aSThomas Huth             if (rwx == 1) {
790fcf5ef2aSThomas Huth                 dsisr |= 0x02000000;
791fcf5ef2aSThomas Huth             }
792fcf5ef2aSThomas Huth             if (need_prot[rwx] & ~amr_prot) {
793fcf5ef2aSThomas Huth                 dsisr |= 0x00200000;
794fcf5ef2aSThomas Huth             }
795fcf5ef2aSThomas Huth             ppc_hash64_set_dsi(cs, env, eaddr, dsisr);
796fcf5ef2aSThomas Huth         }
797fcf5ef2aSThomas Huth         return 1;
798fcf5ef2aSThomas Huth     }
799fcf5ef2aSThomas Huth 
800fcf5ef2aSThomas Huth     qemu_log_mask(CPU_LOG_MMU, "PTE access granted !\n");
801fcf5ef2aSThomas Huth 
802fcf5ef2aSThomas Huth     /* 6. Update PTE referenced and changed bits if necessary */
803fcf5ef2aSThomas Huth 
804fcf5ef2aSThomas Huth     new_pte1 = pte.pte1 | HPTE64_R_R; /* set referenced bit */
805fcf5ef2aSThomas Huth     if (rwx == 1) {
806fcf5ef2aSThomas Huth         new_pte1 |= HPTE64_R_C; /* set changed (dirty) bit */
807fcf5ef2aSThomas Huth     } else {
808fcf5ef2aSThomas Huth         /* Treat the page as read-only for now, so that a later write
809fcf5ef2aSThomas Huth          * will pass through this function again to set the C bit */
810fcf5ef2aSThomas Huth         prot &= ~PAGE_WRITE;
811fcf5ef2aSThomas Huth     }
812fcf5ef2aSThomas Huth 
813fcf5ef2aSThomas Huth     if (new_pte1 != pte.pte1) {
8147222b94aSDavid Gibson         ppc_hash64_store_hpte(cpu, ptex, pte.pte0, new_pte1);
815fcf5ef2aSThomas Huth     }
816fcf5ef2aSThomas Huth 
817fcf5ef2aSThomas Huth     /* 7. Determine the real address from the PTE */
818fcf5ef2aSThomas Huth 
819fcf5ef2aSThomas Huth     raddr = deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, eaddr);
820fcf5ef2aSThomas Huth 
821fcf5ef2aSThomas Huth     tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK,
822fcf5ef2aSThomas Huth                  prot, mmu_idx, 1ULL << apshift);
823fcf5ef2aSThomas Huth 
824fcf5ef2aSThomas Huth     return 0;
825fcf5ef2aSThomas Huth }
826fcf5ef2aSThomas Huth 
827fcf5ef2aSThomas Huth hwaddr ppc_hash64_get_phys_page_debug(PowerPCCPU *cpu, target_ulong addr)
828fcf5ef2aSThomas Huth {
829fcf5ef2aSThomas Huth     CPUPPCState *env = &cpu->env;
830fcf5ef2aSThomas Huth     ppc_slb_t *slb;
8317222b94aSDavid Gibson     hwaddr ptex, raddr;
832fcf5ef2aSThomas Huth     ppc_hash_pte64_t pte;
833fcf5ef2aSThomas Huth     unsigned apshift;
834fcf5ef2aSThomas Huth 
835fcf5ef2aSThomas Huth     /* Handle real mode */
836fcf5ef2aSThomas Huth     if (msr_dr == 0) {
837fcf5ef2aSThomas Huth         /* In real mode the top 4 effective address bits are ignored */
838fcf5ef2aSThomas Huth         raddr = addr & 0x0FFFFFFFFFFFFFFFULL;
839fcf5ef2aSThomas Huth 
840fcf5ef2aSThomas Huth         /* In HV mode, add HRMOR if top EA bit is clear */
841fcf5ef2aSThomas Huth         if ((msr_hv || !env->has_hv_mode) && !(addr >> 63)) {
842fcf5ef2aSThomas Huth             return raddr | env->spr[SPR_HRMOR];
843fcf5ef2aSThomas Huth         }
844fcf5ef2aSThomas Huth 
845fcf5ef2aSThomas Huth         /* Otherwise, check VPM for RMA vs VRMA */
846fcf5ef2aSThomas Huth         if (env->spr[SPR_LPCR] & LPCR_VPM0) {
847fcf5ef2aSThomas Huth             slb = &env->vrma_slb;
848fcf5ef2aSThomas Huth             if (!slb->sps) {
849fcf5ef2aSThomas Huth                 return -1;
850fcf5ef2aSThomas Huth             }
851fcf5ef2aSThomas Huth         } else if (raddr < env->rmls) {
852fcf5ef2aSThomas Huth             /* RMA. Check bounds in RMLS */
853fcf5ef2aSThomas Huth             return raddr | env->spr[SPR_RMOR];
854fcf5ef2aSThomas Huth         } else {
855fcf5ef2aSThomas Huth             return -1;
856fcf5ef2aSThomas Huth         }
857fcf5ef2aSThomas Huth     } else {
858fcf5ef2aSThomas Huth         slb = slb_lookup(cpu, addr);
859fcf5ef2aSThomas Huth         if (!slb) {
860fcf5ef2aSThomas Huth             return -1;
861fcf5ef2aSThomas Huth         }
862fcf5ef2aSThomas Huth     }
863fcf5ef2aSThomas Huth 
8647222b94aSDavid Gibson     ptex = ppc_hash64_htab_lookup(cpu, slb, addr, &pte, &apshift);
8657222b94aSDavid Gibson     if (ptex == -1) {
866fcf5ef2aSThomas Huth         return -1;
867fcf5ef2aSThomas Huth     }
868fcf5ef2aSThomas Huth 
869fcf5ef2aSThomas Huth     return deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, addr)
870fcf5ef2aSThomas Huth         & TARGET_PAGE_MASK;
871fcf5ef2aSThomas Huth }
872fcf5ef2aSThomas Huth 
8737222b94aSDavid Gibson void ppc_hash64_store_hpte(PowerPCCPU *cpu, hwaddr ptex,
8747222b94aSDavid Gibson                            uint64_t pte0, uint64_t pte1)
875fcf5ef2aSThomas Huth {
876e57ca75cSDavid Gibson     hwaddr base = ppc_hash64_hpt_base(cpu);
8777222b94aSDavid Gibson     hwaddr offset = ptex * HASH_PTE_SIZE_64;
878fcf5ef2aSThomas Huth 
879e57ca75cSDavid Gibson     if (cpu->vhyp) {
880e57ca75cSDavid Gibson         PPCVirtualHypervisorClass *vhc =
881e57ca75cSDavid Gibson             PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
882e57ca75cSDavid Gibson         vhc->store_hpte(cpu->vhyp, ptex, pte0, pte1);
883fcf5ef2aSThomas Huth         return;
884fcf5ef2aSThomas Huth     }
885fcf5ef2aSThomas Huth 
88636778660SDavid Gibson     stq_phys(CPU(cpu)->as, base + offset, pte0);
88736778660SDavid Gibson     stq_phys(CPU(cpu)->as, base + offset + HASH_PTE_SIZE_64 / 2, pte1);
888fcf5ef2aSThomas Huth }
889fcf5ef2aSThomas Huth 
8907222b94aSDavid Gibson void ppc_hash64_tlb_flush_hpte(PowerPCCPU *cpu, target_ulong ptex,
891fcf5ef2aSThomas Huth                                target_ulong pte0, target_ulong pte1)
892fcf5ef2aSThomas Huth {
893fcf5ef2aSThomas Huth     /*
894fcf5ef2aSThomas Huth      * XXX: given the fact that there are too many segments to
895fcf5ef2aSThomas Huth      * invalidate, and we still don't have a tlb_flush_mask(env, n,
896fcf5ef2aSThomas Huth      * mask) in QEMU, we just invalidate all TLBs
897fcf5ef2aSThomas Huth      */
898fcf5ef2aSThomas Huth     cpu->env.tlb_need_flush = TLB_NEED_GLOBAL_FLUSH | TLB_NEED_LOCAL_FLUSH;
899fcf5ef2aSThomas Huth }
900fcf5ef2aSThomas Huth 
901fcf5ef2aSThomas Huth void ppc_hash64_update_rmls(CPUPPCState *env)
902fcf5ef2aSThomas Huth {
903fcf5ef2aSThomas Huth     uint64_t lpcr = env->spr[SPR_LPCR];
904fcf5ef2aSThomas Huth 
905fcf5ef2aSThomas Huth     /*
906fcf5ef2aSThomas Huth      * This is the full 4 bits encoding of POWER8. Previous
907fcf5ef2aSThomas Huth      * CPUs only support a subset of these but the filtering
908fcf5ef2aSThomas Huth      * is done when writing LPCR
909fcf5ef2aSThomas Huth      */
910fcf5ef2aSThomas Huth     switch ((lpcr & LPCR_RMLS) >> LPCR_RMLS_SHIFT) {
911fcf5ef2aSThomas Huth     case 0x8: /* 32MB */
912fcf5ef2aSThomas Huth         env->rmls = 0x2000000ull;
913fcf5ef2aSThomas Huth         break;
914fcf5ef2aSThomas Huth     case 0x3: /* 64MB */
915fcf5ef2aSThomas Huth         env->rmls = 0x4000000ull;
916fcf5ef2aSThomas Huth         break;
917fcf5ef2aSThomas Huth     case 0x7: /* 128MB */
918fcf5ef2aSThomas Huth         env->rmls = 0x8000000ull;
919fcf5ef2aSThomas Huth         break;
920fcf5ef2aSThomas Huth     case 0x4: /* 256MB */
921fcf5ef2aSThomas Huth         env->rmls = 0x10000000ull;
922fcf5ef2aSThomas Huth         break;
923fcf5ef2aSThomas Huth     case 0x2: /* 1GB */
924fcf5ef2aSThomas Huth         env->rmls = 0x40000000ull;
925fcf5ef2aSThomas Huth         break;
926fcf5ef2aSThomas Huth     case 0x1: /* 16GB */
927fcf5ef2aSThomas Huth         env->rmls = 0x400000000ull;
928fcf5ef2aSThomas Huth         break;
929fcf5ef2aSThomas Huth     default:
930fcf5ef2aSThomas Huth         /* What to do here ??? */
931fcf5ef2aSThomas Huth         env->rmls = 0;
932fcf5ef2aSThomas Huth     }
933fcf5ef2aSThomas Huth }
934fcf5ef2aSThomas Huth 
935fcf5ef2aSThomas Huth void ppc_hash64_update_vrma(CPUPPCState *env)
936fcf5ef2aSThomas Huth {
937fcf5ef2aSThomas Huth     const struct ppc_one_seg_page_size *sps = NULL;
938fcf5ef2aSThomas Huth     target_ulong esid, vsid, lpcr;
939fcf5ef2aSThomas Huth     ppc_slb_t *slb = &env->vrma_slb;
940fcf5ef2aSThomas Huth     uint32_t vrmasd;
941fcf5ef2aSThomas Huth     int i;
942fcf5ef2aSThomas Huth 
943fcf5ef2aSThomas Huth     /* First clear it */
944fcf5ef2aSThomas Huth     slb->esid = slb->vsid = 0;
945fcf5ef2aSThomas Huth     slb->sps = NULL;
946fcf5ef2aSThomas Huth 
947fcf5ef2aSThomas Huth     /* Is VRMA enabled ? */
948fcf5ef2aSThomas Huth     lpcr = env->spr[SPR_LPCR];
949fcf5ef2aSThomas Huth     if (!(lpcr & LPCR_VPM0)) {
950fcf5ef2aSThomas Huth         return;
951fcf5ef2aSThomas Huth     }
952fcf5ef2aSThomas Huth 
953fcf5ef2aSThomas Huth     /* Make one up. Mostly ignore the ESID which will not be
954fcf5ef2aSThomas Huth      * needed for translation
955fcf5ef2aSThomas Huth      */
956fcf5ef2aSThomas Huth     vsid = SLB_VSID_VRMA;
957fcf5ef2aSThomas Huth     vrmasd = (lpcr & LPCR_VRMASD) >> LPCR_VRMASD_SHIFT;
958fcf5ef2aSThomas Huth     vsid |= (vrmasd << 4) & (SLB_VSID_L | SLB_VSID_LP);
959fcf5ef2aSThomas Huth     esid = SLB_ESID_V;
960fcf5ef2aSThomas Huth 
961fcf5ef2aSThomas Huth    for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) {
962fcf5ef2aSThomas Huth         const struct ppc_one_seg_page_size *sps1 = &env->sps.sps[i];
963fcf5ef2aSThomas Huth 
964fcf5ef2aSThomas Huth         if (!sps1->page_shift) {
965fcf5ef2aSThomas Huth             break;
966fcf5ef2aSThomas Huth         }
967fcf5ef2aSThomas Huth 
968fcf5ef2aSThomas Huth         if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) {
969fcf5ef2aSThomas Huth             sps = sps1;
970fcf5ef2aSThomas Huth             break;
971fcf5ef2aSThomas Huth         }
972fcf5ef2aSThomas Huth     }
973fcf5ef2aSThomas Huth 
974fcf5ef2aSThomas Huth     if (!sps) {
975fcf5ef2aSThomas Huth         error_report("Bad page size encoding esid 0x"TARGET_FMT_lx
976fcf5ef2aSThomas Huth                      " vsid 0x"TARGET_FMT_lx, esid, vsid);
977fcf5ef2aSThomas Huth         return;
978fcf5ef2aSThomas Huth     }
979fcf5ef2aSThomas Huth 
980fcf5ef2aSThomas Huth     slb->vsid = vsid;
981fcf5ef2aSThomas Huth     slb->esid = esid;
982fcf5ef2aSThomas Huth     slb->sps = sps;
983fcf5ef2aSThomas Huth }
984fcf5ef2aSThomas Huth 
985fcf5ef2aSThomas Huth void helper_store_lpcr(CPUPPCState *env, target_ulong val)
986fcf5ef2aSThomas Huth {
987fcf5ef2aSThomas Huth     uint64_t lpcr = 0;
988fcf5ef2aSThomas Huth 
989fcf5ef2aSThomas Huth     /* Filter out bits */
990fcf5ef2aSThomas Huth     switch (env->mmu_model) {
991fcf5ef2aSThomas Huth     case POWERPC_MMU_64B: /* 970 */
992fcf5ef2aSThomas Huth         if (val & 0x40) {
993fcf5ef2aSThomas Huth             lpcr |= LPCR_LPES0;
994fcf5ef2aSThomas Huth         }
995fcf5ef2aSThomas Huth         if (val & 0x8000000000000000ull) {
996fcf5ef2aSThomas Huth             lpcr |= LPCR_LPES1;
997fcf5ef2aSThomas Huth         }
998fcf5ef2aSThomas Huth         if (val & 0x20) {
999fcf5ef2aSThomas Huth             lpcr |= (0x4ull << LPCR_RMLS_SHIFT);
1000fcf5ef2aSThomas Huth         }
1001fcf5ef2aSThomas Huth         if (val & 0x4000000000000000ull) {
1002fcf5ef2aSThomas Huth             lpcr |= (0x2ull << LPCR_RMLS_SHIFT);
1003fcf5ef2aSThomas Huth         }
1004fcf5ef2aSThomas Huth         if (val & 0x2000000000000000ull) {
1005fcf5ef2aSThomas Huth             lpcr |= (0x1ull << LPCR_RMLS_SHIFT);
1006fcf5ef2aSThomas Huth         }
1007fcf5ef2aSThomas Huth         env->spr[SPR_RMOR] = ((lpcr >> 41) & 0xffffull) << 26;
1008fcf5ef2aSThomas Huth 
1009fcf5ef2aSThomas Huth         /* XXX We could also write LPID from HID4 here
1010fcf5ef2aSThomas Huth          * but since we don't tag any translation on it
1011fcf5ef2aSThomas Huth          * it doesn't actually matter
1012fcf5ef2aSThomas Huth          */
1013fcf5ef2aSThomas Huth         /* XXX For proper emulation of 970 we also need
1014fcf5ef2aSThomas Huth          * to dig HRMOR out of HID5
1015fcf5ef2aSThomas Huth          */
1016fcf5ef2aSThomas Huth         break;
1017fcf5ef2aSThomas Huth     case POWERPC_MMU_2_03: /* P5p */
1018fcf5ef2aSThomas Huth         lpcr = val & (LPCR_RMLS | LPCR_ILE |
1019fcf5ef2aSThomas Huth                       LPCR_LPES0 | LPCR_LPES1 |
1020fcf5ef2aSThomas Huth                       LPCR_RMI | LPCR_HDICE);
1021fcf5ef2aSThomas Huth         break;
1022fcf5ef2aSThomas Huth     case POWERPC_MMU_2_06: /* P7 */
1023fcf5ef2aSThomas Huth         lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_DPFD |
1024fcf5ef2aSThomas Huth                       LPCR_VRMASD | LPCR_RMLS | LPCR_ILE |
1025fcf5ef2aSThomas Huth                       LPCR_P7_PECE0 | LPCR_P7_PECE1 | LPCR_P7_PECE2 |
1026fcf5ef2aSThomas Huth                       LPCR_MER | LPCR_TC |
1027fcf5ef2aSThomas Huth                       LPCR_LPES0 | LPCR_LPES1 | LPCR_HDICE);
1028fcf5ef2aSThomas Huth         break;
1029fcf5ef2aSThomas Huth     case POWERPC_MMU_2_07: /* P8 */
1030fcf5ef2aSThomas Huth         lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_KBV |
1031fcf5ef2aSThomas Huth                       LPCR_DPFD | LPCR_VRMASD | LPCR_RMLS | LPCR_ILE |
1032fcf5ef2aSThomas Huth                       LPCR_AIL | LPCR_ONL | LPCR_P8_PECE0 | LPCR_P8_PECE1 |
1033fcf5ef2aSThomas Huth                       LPCR_P8_PECE2 | LPCR_P8_PECE3 | LPCR_P8_PECE4 |
1034fcf5ef2aSThomas Huth                       LPCR_MER | LPCR_TC | LPCR_LPES0 | LPCR_HDICE);
1035fcf5ef2aSThomas Huth         break;
103618aa49ecSSuraj Jitindar Singh     case POWERPC_MMU_3_00: /* P9 */
103718aa49ecSSuraj Jitindar Singh         lpcr = val & (LPCR_VPM1 | LPCR_ISL | LPCR_KBV | LPCR_DPFD |
103818aa49ecSSuraj Jitindar Singh                       (LPCR_PECE_U_MASK & LPCR_HVEE) | LPCR_ILE | LPCR_AIL |
103918aa49ecSSuraj Jitindar Singh                       LPCR_UPRT | LPCR_EVIRT | LPCR_ONL |
104018aa49ecSSuraj Jitindar Singh                       (LPCR_PECE_L_MASK & (LPCR_PDEE | LPCR_HDEE | LPCR_EEE |
104118aa49ecSSuraj Jitindar Singh                       LPCR_DEE | LPCR_OEE)) | LPCR_MER | LPCR_GTSE | LPCR_TC |
104218aa49ecSSuraj Jitindar Singh                       LPCR_HEIC | LPCR_LPES0 | LPCR_HVICE | LPCR_HDICE);
104318aa49ecSSuraj Jitindar Singh         break;
1044fcf5ef2aSThomas Huth     default:
1045fcf5ef2aSThomas Huth         ;
1046fcf5ef2aSThomas Huth     }
1047fcf5ef2aSThomas Huth     env->spr[SPR_LPCR] = lpcr;
1048fcf5ef2aSThomas Huth     ppc_hash64_update_rmls(env);
1049fcf5ef2aSThomas Huth     ppc_hash64_update_vrma(env);
1050fcf5ef2aSThomas Huth }
1051