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