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" 31b2899495SSuraj 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 29307a68f99SSuraj Jitindar Singh /* Check No-Execute or Guarded Storage */ 29407a68f99SSuraj Jitindar Singh static inline int ppc_hash64_pte_noexec_guard(PowerPCCPU *cpu, 29507a68f99SSuraj Jitindar Singh ppc_hash_pte64_t pte) 29607a68f99SSuraj Jitindar Singh { 29707a68f99SSuraj Jitindar Singh /* Exec permissions CANNOT take away read or write permissions */ 29807a68f99SSuraj Jitindar Singh return (pte.pte1 & HPTE64_R_N) || (pte.pte1 & HPTE64_R_G) ? 29907a68f99SSuraj Jitindar Singh PAGE_READ | PAGE_WRITE : PAGE_READ | PAGE_WRITE | PAGE_EXEC; 30007a68f99SSuraj Jitindar Singh } 30107a68f99SSuraj Jitindar Singh 30207a68f99SSuraj Jitindar Singh /* Check Basic Storage Protection */ 303fcf5ef2aSThomas Huth static int ppc_hash64_pte_prot(PowerPCCPU *cpu, 304fcf5ef2aSThomas Huth ppc_slb_t *slb, ppc_hash_pte64_t pte) 305fcf5ef2aSThomas Huth { 306fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 307fcf5ef2aSThomas Huth unsigned pp, key; 308fcf5ef2aSThomas Huth /* Some pp bit combinations have undefined behaviour, so default 309fcf5ef2aSThomas Huth * to no access in those cases */ 310fcf5ef2aSThomas Huth int prot = 0; 311fcf5ef2aSThomas Huth 312fcf5ef2aSThomas Huth key = !!(msr_pr ? (slb->vsid & SLB_VSID_KP) 313fcf5ef2aSThomas Huth : (slb->vsid & SLB_VSID_KS)); 314fcf5ef2aSThomas Huth pp = (pte.pte1 & HPTE64_R_PP) | ((pte.pte1 & HPTE64_R_PP0) >> 61); 315fcf5ef2aSThomas Huth 316fcf5ef2aSThomas Huth if (key == 0) { 317fcf5ef2aSThomas Huth switch (pp) { 318fcf5ef2aSThomas Huth case 0x0: 319fcf5ef2aSThomas Huth case 0x1: 320fcf5ef2aSThomas Huth case 0x2: 321347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 322fcf5ef2aSThomas Huth break; 323fcf5ef2aSThomas Huth 324fcf5ef2aSThomas Huth case 0x3: 325fcf5ef2aSThomas Huth case 0x6: 326347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_EXEC; 327fcf5ef2aSThomas Huth break; 328fcf5ef2aSThomas Huth } 329fcf5ef2aSThomas Huth } else { 330fcf5ef2aSThomas Huth switch (pp) { 331fcf5ef2aSThomas Huth case 0x0: 332fcf5ef2aSThomas Huth case 0x6: 333fcf5ef2aSThomas Huth break; 334fcf5ef2aSThomas Huth 335fcf5ef2aSThomas Huth case 0x1: 336fcf5ef2aSThomas Huth case 0x3: 337347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_EXEC; 338fcf5ef2aSThomas Huth break; 339fcf5ef2aSThomas Huth 340fcf5ef2aSThomas Huth case 0x2: 341347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 342fcf5ef2aSThomas Huth break; 343fcf5ef2aSThomas Huth } 344fcf5ef2aSThomas Huth } 345fcf5ef2aSThomas Huth 346fcf5ef2aSThomas Huth return prot; 347fcf5ef2aSThomas Huth } 348fcf5ef2aSThomas Huth 349a6152b52SSuraj Jitindar Singh /* Check the instruction access permissions specified in the IAMR */ 350a6152b52SSuraj Jitindar Singh static int ppc_hash64_iamr_prot(PowerPCCPU *cpu, int key) 351a6152b52SSuraj Jitindar Singh { 352a6152b52SSuraj Jitindar Singh CPUPPCState *env = &cpu->env; 353a6152b52SSuraj Jitindar Singh int iamr_bits = (env->spr[SPR_IAMR] >> 2 * (31 - key)) & 0x3; 354a6152b52SSuraj Jitindar Singh 355a6152b52SSuraj Jitindar Singh /* 356a6152b52SSuraj Jitindar Singh * An instruction fetch is permitted if the IAMR bit is 0. 357a6152b52SSuraj Jitindar Singh * If the bit is set, return PAGE_READ | PAGE_WRITE because this bit 358a6152b52SSuraj Jitindar Singh * can only take away EXEC permissions not READ or WRITE permissions. 359a6152b52SSuraj Jitindar Singh * If bit is cleared return PAGE_READ | PAGE_WRITE | PAGE_EXEC since 360a6152b52SSuraj Jitindar Singh * EXEC permissions are allowed. 361a6152b52SSuraj Jitindar Singh */ 362a6152b52SSuraj Jitindar Singh return (iamr_bits & 0x1) ? PAGE_READ | PAGE_WRITE : 363a6152b52SSuraj Jitindar Singh PAGE_READ | PAGE_WRITE | PAGE_EXEC; 364a6152b52SSuraj Jitindar Singh } 365a6152b52SSuraj Jitindar Singh 366fcf5ef2aSThomas Huth static int ppc_hash64_amr_prot(PowerPCCPU *cpu, ppc_hash_pte64_t pte) 367fcf5ef2aSThomas Huth { 368fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 369fcf5ef2aSThomas Huth int key, amrbits; 370fcf5ef2aSThomas Huth int prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 371fcf5ef2aSThomas Huth 372fcf5ef2aSThomas Huth /* Only recent MMUs implement Virtual Page Class Key Protection */ 373fcf5ef2aSThomas Huth if (!(env->mmu_model & POWERPC_MMU_AMR)) { 374fcf5ef2aSThomas Huth return prot; 375fcf5ef2aSThomas Huth } 376fcf5ef2aSThomas Huth 377fcf5ef2aSThomas Huth key = HPTE64_R_KEY(pte.pte1); 378fcf5ef2aSThomas Huth amrbits = (env->spr[SPR_AMR] >> 2*(31 - key)) & 0x3; 379fcf5ef2aSThomas Huth 380fcf5ef2aSThomas Huth /* fprintf(stderr, "AMR protection: key=%d AMR=0x%" PRIx64 "\n", key, */ 381fcf5ef2aSThomas Huth /* env->spr[SPR_AMR]); */ 382fcf5ef2aSThomas Huth 383fcf5ef2aSThomas Huth /* 384fcf5ef2aSThomas Huth * A store is permitted if the AMR bit is 0. Remove write 385fcf5ef2aSThomas Huth * protection if it is set. 386fcf5ef2aSThomas Huth */ 387fcf5ef2aSThomas Huth if (amrbits & 0x2) { 388fcf5ef2aSThomas Huth prot &= ~PAGE_WRITE; 389fcf5ef2aSThomas Huth } 390fcf5ef2aSThomas Huth /* 391fcf5ef2aSThomas Huth * A load is permitted if the AMR bit is 0. Remove read 392fcf5ef2aSThomas Huth * protection if it is set. 393fcf5ef2aSThomas Huth */ 394fcf5ef2aSThomas Huth if (amrbits & 0x1) { 395fcf5ef2aSThomas Huth prot &= ~PAGE_READ; 396fcf5ef2aSThomas Huth } 397fcf5ef2aSThomas Huth 398a6152b52SSuraj Jitindar Singh switch (env->mmu_model) { 399a6152b52SSuraj Jitindar Singh /* 400a6152b52SSuraj Jitindar Singh * MMU version 2.07 and later support IAMR 401a6152b52SSuraj Jitindar Singh * Check if the IAMR allows the instruction access - it will return 402a6152b52SSuraj Jitindar Singh * PAGE_EXEC if it doesn't (and thus that bit will be cleared) or 0 403a6152b52SSuraj Jitindar Singh * if it does (and prot will be unchanged indicating execution support). 404a6152b52SSuraj Jitindar Singh */ 405a6152b52SSuraj Jitindar Singh case POWERPC_MMU_2_07: 406a6152b52SSuraj Jitindar Singh case POWERPC_MMU_3_00: 407a6152b52SSuraj Jitindar Singh prot &= ppc_hash64_iamr_prot(cpu, key); 408a6152b52SSuraj Jitindar Singh break; 409a6152b52SSuraj Jitindar Singh default: 410a6152b52SSuraj Jitindar Singh break; 411a6152b52SSuraj Jitindar Singh } 412a6152b52SSuraj Jitindar Singh 413fcf5ef2aSThomas Huth return prot; 414fcf5ef2aSThomas Huth } 415fcf5ef2aSThomas Huth 4167222b94aSDavid Gibson const ppc_hash_pte64_t *ppc_hash64_map_hptes(PowerPCCPU *cpu, 4177222b94aSDavid Gibson hwaddr ptex, int n) 418fcf5ef2aSThomas Huth { 4197222b94aSDavid Gibson hwaddr pte_offset = ptex * HASH_PTE_SIZE_64; 42036778660SDavid Gibson hwaddr base = ppc_hash64_hpt_base(cpu); 4217222b94aSDavid Gibson hwaddr plen = n * HASH_PTE_SIZE_64; 422e57ca75cSDavid Gibson const ppc_hash_pte64_t *hptes; 423e57ca75cSDavid Gibson 424e57ca75cSDavid Gibson if (cpu->vhyp) { 425e57ca75cSDavid Gibson PPCVirtualHypervisorClass *vhc = 426e57ca75cSDavid Gibson PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 427e57ca75cSDavid Gibson return vhc->map_hptes(cpu->vhyp, ptex, n); 428e57ca75cSDavid Gibson } 429e57ca75cSDavid Gibson 430e57ca75cSDavid Gibson if (!base) { 431e57ca75cSDavid Gibson return NULL; 432e57ca75cSDavid Gibson } 433e57ca75cSDavid Gibson 434e57ca75cSDavid Gibson hptes = address_space_map(CPU(cpu)->as, base + pte_offset, &plen, false); 4357222b94aSDavid Gibson if (plen < (n * HASH_PTE_SIZE_64)) { 4367222b94aSDavid Gibson hw_error("%s: Unable to map all requested HPTEs\n", __func__); 437fcf5ef2aSThomas Huth } 4387222b94aSDavid Gibson return hptes; 439fcf5ef2aSThomas Huth } 440fcf5ef2aSThomas Huth 4417222b94aSDavid Gibson void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes, 4427222b94aSDavid Gibson hwaddr ptex, int n) 443fcf5ef2aSThomas Huth { 444e57ca75cSDavid Gibson if (cpu->vhyp) { 445e57ca75cSDavid Gibson PPCVirtualHypervisorClass *vhc = 446e57ca75cSDavid Gibson PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 447e57ca75cSDavid Gibson vhc->unmap_hptes(cpu->vhyp, hptes, ptex, n); 448e57ca75cSDavid Gibson return; 449e57ca75cSDavid Gibson } 450e57ca75cSDavid Gibson 4517222b94aSDavid Gibson address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64, 4527222b94aSDavid Gibson false, n * HASH_PTE_SIZE_64); 453fcf5ef2aSThomas Huth } 454fcf5ef2aSThomas Huth 455fcf5ef2aSThomas Huth static unsigned hpte_page_shift(const struct ppc_one_seg_page_size *sps, 456fcf5ef2aSThomas Huth uint64_t pte0, uint64_t pte1) 457fcf5ef2aSThomas Huth { 458fcf5ef2aSThomas Huth int i; 459fcf5ef2aSThomas Huth 460fcf5ef2aSThomas Huth if (!(pte0 & HPTE64_V_LARGE)) { 461fcf5ef2aSThomas Huth if (sps->page_shift != 12) { 462fcf5ef2aSThomas Huth /* 4kiB page in a non 4kiB segment */ 463fcf5ef2aSThomas Huth return 0; 464fcf5ef2aSThomas Huth } 465fcf5ef2aSThomas Huth /* Normal 4kiB page */ 466fcf5ef2aSThomas Huth return 12; 467fcf5ef2aSThomas Huth } 468fcf5ef2aSThomas Huth 469fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 470fcf5ef2aSThomas Huth const struct ppc_one_page_size *ps = &sps->enc[i]; 471fcf5ef2aSThomas Huth uint64_t mask; 472fcf5ef2aSThomas Huth 473fcf5ef2aSThomas Huth if (!ps->page_shift) { 474fcf5ef2aSThomas Huth break; 475fcf5ef2aSThomas Huth } 476fcf5ef2aSThomas Huth 477fcf5ef2aSThomas Huth if (ps->page_shift == 12) { 478fcf5ef2aSThomas Huth /* L bit is set so this can't be a 4kiB page */ 479fcf5ef2aSThomas Huth continue; 480fcf5ef2aSThomas Huth } 481fcf5ef2aSThomas Huth 482fcf5ef2aSThomas Huth mask = ((1ULL << ps->page_shift) - 1) & HPTE64_R_RPN; 483fcf5ef2aSThomas Huth 484fcf5ef2aSThomas Huth if ((pte1 & mask) == ((uint64_t)ps->pte_enc << HPTE64_R_RPN_SHIFT)) { 485fcf5ef2aSThomas Huth return ps->page_shift; 486fcf5ef2aSThomas Huth } 487fcf5ef2aSThomas Huth } 488fcf5ef2aSThomas Huth 489fcf5ef2aSThomas Huth return 0; /* Bad page size encoding */ 490fcf5ef2aSThomas Huth } 491fcf5ef2aSThomas Huth 492fcf5ef2aSThomas Huth static hwaddr ppc_hash64_pteg_search(PowerPCCPU *cpu, hwaddr hash, 493fcf5ef2aSThomas Huth const struct ppc_one_seg_page_size *sps, 494fcf5ef2aSThomas Huth target_ulong ptem, 495fcf5ef2aSThomas Huth ppc_hash_pte64_t *pte, unsigned *pshift) 496fcf5ef2aSThomas Huth { 497fcf5ef2aSThomas Huth int i; 4987222b94aSDavid Gibson const ppc_hash_pte64_t *pteg; 499fcf5ef2aSThomas Huth target_ulong pte0, pte1; 5007222b94aSDavid Gibson target_ulong ptex; 501fcf5ef2aSThomas Huth 50236778660SDavid Gibson ptex = (hash & ppc_hash64_hpt_mask(cpu)) * HPTES_PER_GROUP; 5037222b94aSDavid Gibson pteg = ppc_hash64_map_hptes(cpu, ptex, HPTES_PER_GROUP); 5047222b94aSDavid Gibson if (!pteg) { 505fcf5ef2aSThomas Huth return -1; 506fcf5ef2aSThomas Huth } 507fcf5ef2aSThomas Huth for (i = 0; i < HPTES_PER_GROUP; i++) { 5087222b94aSDavid Gibson pte0 = ppc_hash64_hpte0(cpu, pteg, i); 5097222b94aSDavid Gibson pte1 = ppc_hash64_hpte1(cpu, pteg, i); 510fcf5ef2aSThomas Huth 511fcf5ef2aSThomas Huth /* This compares V, B, H (secondary) and the AVPN */ 512fcf5ef2aSThomas Huth if (HPTE64_V_COMPARE(pte0, ptem)) { 513fcf5ef2aSThomas Huth *pshift = hpte_page_shift(sps, pte0, pte1); 514fcf5ef2aSThomas Huth /* 515fcf5ef2aSThomas Huth * If there is no match, ignore the PTE, it could simply 516fcf5ef2aSThomas Huth * be for a different segment size encoding and the 517fcf5ef2aSThomas Huth * architecture specifies we should not match. Linux will 518fcf5ef2aSThomas Huth * potentially leave behind PTEs for the wrong base page 519fcf5ef2aSThomas Huth * size when demoting segments. 520fcf5ef2aSThomas Huth */ 521fcf5ef2aSThomas Huth if (*pshift == 0) { 522fcf5ef2aSThomas Huth continue; 523fcf5ef2aSThomas Huth } 524fcf5ef2aSThomas Huth /* We don't do anything with pshift yet as qemu TLB only deals 525fcf5ef2aSThomas Huth * with 4K pages anyway 526fcf5ef2aSThomas Huth */ 527fcf5ef2aSThomas Huth pte->pte0 = pte0; 528fcf5ef2aSThomas Huth pte->pte1 = pte1; 5297222b94aSDavid Gibson ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); 5307222b94aSDavid Gibson return ptex + i; 531fcf5ef2aSThomas Huth } 532fcf5ef2aSThomas Huth } 5337222b94aSDavid Gibson ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); 534fcf5ef2aSThomas Huth /* 535fcf5ef2aSThomas Huth * We didn't find a valid entry. 536fcf5ef2aSThomas Huth */ 537fcf5ef2aSThomas Huth return -1; 538fcf5ef2aSThomas Huth } 539fcf5ef2aSThomas Huth 540fcf5ef2aSThomas Huth static hwaddr ppc_hash64_htab_lookup(PowerPCCPU *cpu, 541fcf5ef2aSThomas Huth ppc_slb_t *slb, target_ulong eaddr, 542fcf5ef2aSThomas Huth ppc_hash_pte64_t *pte, unsigned *pshift) 543fcf5ef2aSThomas Huth { 544fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 5457222b94aSDavid Gibson hwaddr hash, ptex; 546fcf5ef2aSThomas Huth uint64_t vsid, epnmask, epn, ptem; 547fcf5ef2aSThomas Huth const struct ppc_one_seg_page_size *sps = slb->sps; 548fcf5ef2aSThomas Huth 549fcf5ef2aSThomas Huth /* The SLB store path should prevent any bad page size encodings 550fcf5ef2aSThomas Huth * getting in there, so: */ 551fcf5ef2aSThomas Huth assert(sps); 552fcf5ef2aSThomas Huth 553fcf5ef2aSThomas Huth /* If ISL is set in LPCR we need to clamp the page size to 4K */ 554fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_ISL) { 555fcf5ef2aSThomas Huth /* We assume that when using TCG, 4k is first entry of SPS */ 556fcf5ef2aSThomas Huth sps = &env->sps.sps[0]; 557fcf5ef2aSThomas Huth assert(sps->page_shift == 12); 558fcf5ef2aSThomas Huth } 559fcf5ef2aSThomas Huth 560fcf5ef2aSThomas Huth epnmask = ~((1ULL << sps->page_shift) - 1); 561fcf5ef2aSThomas Huth 562fcf5ef2aSThomas Huth if (slb->vsid & SLB_VSID_B) { 563fcf5ef2aSThomas Huth /* 1TB segment */ 564fcf5ef2aSThomas Huth vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT_1T; 565fcf5ef2aSThomas Huth epn = (eaddr & ~SEGMENT_MASK_1T) & epnmask; 566fcf5ef2aSThomas Huth hash = vsid ^ (vsid << 25) ^ (epn >> sps->page_shift); 567fcf5ef2aSThomas Huth } else { 568fcf5ef2aSThomas Huth /* 256M segment */ 569fcf5ef2aSThomas Huth vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT; 570fcf5ef2aSThomas Huth epn = (eaddr & ~SEGMENT_MASK_256M) & epnmask; 571fcf5ef2aSThomas Huth hash = vsid ^ (epn >> sps->page_shift); 572fcf5ef2aSThomas Huth } 573fcf5ef2aSThomas Huth ptem = (slb->vsid & SLB_VSID_PTEM) | ((epn >> 16) & HPTE64_V_AVPN); 574fcf5ef2aSThomas Huth ptem |= HPTE64_V_VALID; 575fcf5ef2aSThomas Huth 576fcf5ef2aSThomas Huth /* Page address translation */ 577fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 578fcf5ef2aSThomas Huth "htab_base " TARGET_FMT_plx " htab_mask " TARGET_FMT_plx 579fcf5ef2aSThomas Huth " hash " TARGET_FMT_plx "\n", 58036778660SDavid Gibson ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), hash); 581fcf5ef2aSThomas Huth 582fcf5ef2aSThomas Huth /* Primary PTEG lookup */ 583fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 584fcf5ef2aSThomas Huth "0 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx 585fcf5ef2aSThomas Huth " vsid=" TARGET_FMT_lx " ptem=" TARGET_FMT_lx 586fcf5ef2aSThomas Huth " hash=" TARGET_FMT_plx "\n", 58736778660SDavid Gibson ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), 58836778660SDavid Gibson vsid, ptem, hash); 5897222b94aSDavid Gibson ptex = ppc_hash64_pteg_search(cpu, hash, sps, ptem, pte, pshift); 590fcf5ef2aSThomas Huth 5917222b94aSDavid Gibson if (ptex == -1) { 592fcf5ef2aSThomas Huth /* Secondary PTEG lookup */ 593fcf5ef2aSThomas Huth ptem |= HPTE64_V_SECONDARY; 594fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 595fcf5ef2aSThomas Huth "1 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx 596fcf5ef2aSThomas Huth " vsid=" TARGET_FMT_lx " api=" TARGET_FMT_lx 59736778660SDavid Gibson " hash=" TARGET_FMT_plx "\n", ppc_hash64_hpt_base(cpu), 59836778660SDavid Gibson ppc_hash64_hpt_mask(cpu), vsid, ptem, ~hash); 599fcf5ef2aSThomas Huth 6007222b94aSDavid Gibson ptex = ppc_hash64_pteg_search(cpu, ~hash, sps, ptem, pte, pshift); 601fcf5ef2aSThomas Huth } 602fcf5ef2aSThomas Huth 6037222b94aSDavid Gibson return ptex; 604fcf5ef2aSThomas Huth } 605fcf5ef2aSThomas Huth 606fcf5ef2aSThomas Huth unsigned ppc_hash64_hpte_page_shift_noslb(PowerPCCPU *cpu, 607fcf5ef2aSThomas Huth uint64_t pte0, uint64_t pte1) 608fcf5ef2aSThomas Huth { 609fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 610fcf5ef2aSThomas Huth int i; 611fcf5ef2aSThomas Huth 612fcf5ef2aSThomas Huth if (!(pte0 & HPTE64_V_LARGE)) { 613fcf5ef2aSThomas Huth return 12; 614fcf5ef2aSThomas Huth } 615fcf5ef2aSThomas Huth 616fcf5ef2aSThomas Huth /* 617fcf5ef2aSThomas Huth * The encodings in env->sps need to be carefully chosen so that 618fcf5ef2aSThomas Huth * this gives an unambiguous result. 619fcf5ef2aSThomas Huth */ 620fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 621fcf5ef2aSThomas Huth const struct ppc_one_seg_page_size *sps = &env->sps.sps[i]; 622fcf5ef2aSThomas Huth unsigned shift; 623fcf5ef2aSThomas Huth 624fcf5ef2aSThomas Huth if (!sps->page_shift) { 625fcf5ef2aSThomas Huth break; 626fcf5ef2aSThomas Huth } 627fcf5ef2aSThomas Huth 628fcf5ef2aSThomas Huth shift = hpte_page_shift(sps, pte0, pte1); 629fcf5ef2aSThomas Huth if (shift) { 630fcf5ef2aSThomas Huth return shift; 631fcf5ef2aSThomas Huth } 632fcf5ef2aSThomas Huth } 633fcf5ef2aSThomas Huth 634fcf5ef2aSThomas Huth return 0; 635fcf5ef2aSThomas Huth } 636fcf5ef2aSThomas Huth 637fcf5ef2aSThomas Huth static void ppc_hash64_set_isi(CPUState *cs, CPUPPCState *env, 638fcf5ef2aSThomas Huth uint64_t error_code) 639fcf5ef2aSThomas Huth { 640fcf5ef2aSThomas Huth bool vpm; 641fcf5ef2aSThomas Huth 642fcf5ef2aSThomas Huth if (msr_ir) { 643fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); 644fcf5ef2aSThomas Huth } else { 64550659083SSuraj Jitindar Singh switch (env->mmu_model) { 64650659083SSuraj Jitindar Singh case POWERPC_MMU_3_00: 64750659083SSuraj Jitindar Singh /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ 64850659083SSuraj Jitindar Singh vpm = true; 64950659083SSuraj Jitindar Singh break; 65050659083SSuraj Jitindar Singh default: 651fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); 65250659083SSuraj Jitindar Singh break; 65350659083SSuraj Jitindar Singh } 654fcf5ef2aSThomas Huth } 655fcf5ef2aSThomas Huth if (vpm && !msr_hv) { 656fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_HISI; 657fcf5ef2aSThomas Huth } else { 658fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_ISI; 659fcf5ef2aSThomas Huth } 660fcf5ef2aSThomas Huth env->error_code = error_code; 661fcf5ef2aSThomas Huth } 662fcf5ef2aSThomas Huth 663fcf5ef2aSThomas Huth static void ppc_hash64_set_dsi(CPUState *cs, CPUPPCState *env, uint64_t dar, 664fcf5ef2aSThomas Huth uint64_t dsisr) 665fcf5ef2aSThomas Huth { 666fcf5ef2aSThomas Huth bool vpm; 667fcf5ef2aSThomas Huth 668fcf5ef2aSThomas Huth if (msr_dr) { 669fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); 670fcf5ef2aSThomas Huth } else { 67150659083SSuraj Jitindar Singh switch (env->mmu_model) { 67250659083SSuraj Jitindar Singh case POWERPC_MMU_3_00: 67350659083SSuraj Jitindar Singh /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ 67450659083SSuraj Jitindar Singh vpm = true; 67550659083SSuraj Jitindar Singh break; 67650659083SSuraj Jitindar Singh default: 677fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); 67850659083SSuraj Jitindar Singh break; 67950659083SSuraj Jitindar Singh } 680fcf5ef2aSThomas Huth } 681fcf5ef2aSThomas Huth if (vpm && !msr_hv) { 682fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_HDSI; 683fcf5ef2aSThomas Huth env->spr[SPR_HDAR] = dar; 684fcf5ef2aSThomas Huth env->spr[SPR_HDSISR] = dsisr; 685fcf5ef2aSThomas Huth } else { 686fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_DSI; 687fcf5ef2aSThomas Huth env->spr[SPR_DAR] = dar; 688fcf5ef2aSThomas Huth env->spr[SPR_DSISR] = dsisr; 689fcf5ef2aSThomas Huth } 690fcf5ef2aSThomas Huth env->error_code = 0; 691fcf5ef2aSThomas Huth } 692fcf5ef2aSThomas Huth 693fcf5ef2aSThomas Huth 694fcf5ef2aSThomas Huth int ppc_hash64_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr, 695fcf5ef2aSThomas Huth int rwx, int mmu_idx) 696fcf5ef2aSThomas Huth { 697fcf5ef2aSThomas Huth CPUState *cs = CPU(cpu); 698fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 699fcf5ef2aSThomas Huth ppc_slb_t *slb; 700fcf5ef2aSThomas Huth unsigned apshift; 7017222b94aSDavid Gibson hwaddr ptex; 702fcf5ef2aSThomas Huth ppc_hash_pte64_t pte; 70307a68f99SSuraj Jitindar Singh int exec_prot, pp_prot, amr_prot, prot; 704*da82c73aSSuraj Jitindar Singh uint64_t new_pte1; 705fcf5ef2aSThomas Huth const int need_prot[] = {PAGE_READ, PAGE_WRITE, PAGE_EXEC}; 706fcf5ef2aSThomas Huth hwaddr raddr; 707fcf5ef2aSThomas Huth 708fcf5ef2aSThomas Huth assert((rwx == 0) || (rwx == 1) || (rwx == 2)); 709fcf5ef2aSThomas Huth 710fcf5ef2aSThomas Huth /* Note on LPCR usage: 970 uses HID4, but our special variant 711fcf5ef2aSThomas Huth * of store_spr copies relevant fields into env->spr[SPR_LPCR]. 712fcf5ef2aSThomas Huth * Similarily we filter unimplemented bits when storing into 713fcf5ef2aSThomas Huth * LPCR depending on the MMU version. This code can thus just 714fcf5ef2aSThomas Huth * use the LPCR "as-is". 715fcf5ef2aSThomas Huth */ 716fcf5ef2aSThomas Huth 717fcf5ef2aSThomas Huth /* 1. Handle real mode accesses */ 718fcf5ef2aSThomas Huth if (((rwx == 2) && (msr_ir == 0)) || ((rwx != 2) && (msr_dr == 0))) { 719fcf5ef2aSThomas Huth /* Translation is supposedly "off" */ 720fcf5ef2aSThomas Huth /* In real mode the top 4 effective address bits are (mostly) ignored */ 721fcf5ef2aSThomas Huth raddr = eaddr & 0x0FFFFFFFFFFFFFFFULL; 722fcf5ef2aSThomas Huth 723fcf5ef2aSThomas Huth /* In HV mode, add HRMOR if top EA bit is clear */ 724fcf5ef2aSThomas Huth if (msr_hv || !env->has_hv_mode) { 725fcf5ef2aSThomas Huth if (!(eaddr >> 63)) { 726fcf5ef2aSThomas Huth raddr |= env->spr[SPR_HRMOR]; 727fcf5ef2aSThomas Huth } 728fcf5ef2aSThomas Huth } else { 729fcf5ef2aSThomas Huth /* Otherwise, check VPM for RMA vs VRMA */ 730fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_VPM0) { 731fcf5ef2aSThomas Huth slb = &env->vrma_slb; 732fcf5ef2aSThomas Huth if (slb->sps) { 733fcf5ef2aSThomas Huth goto skip_slb_search; 734fcf5ef2aSThomas Huth } 735fcf5ef2aSThomas Huth /* Not much else to do here */ 736fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_MCHECK; 737fcf5ef2aSThomas Huth env->error_code = 0; 738fcf5ef2aSThomas Huth return 1; 739fcf5ef2aSThomas Huth } else if (raddr < env->rmls) { 740fcf5ef2aSThomas Huth /* RMA. Check bounds in RMLS */ 741fcf5ef2aSThomas Huth raddr |= env->spr[SPR_RMOR]; 742fcf5ef2aSThomas Huth } else { 743fcf5ef2aSThomas Huth /* The access failed, generate the approriate interrupt */ 744fcf5ef2aSThomas Huth if (rwx == 2) { 745*da82c73aSSuraj Jitindar Singh ppc_hash64_set_isi(cs, env, SRR1_PROTFAULT); 746fcf5ef2aSThomas Huth } else { 747*da82c73aSSuraj Jitindar Singh int dsisr = DSISR_PROTFAULT; 748fcf5ef2aSThomas Huth if (rwx == 1) { 749*da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 750fcf5ef2aSThomas Huth } 751fcf5ef2aSThomas Huth ppc_hash64_set_dsi(cs, env, eaddr, dsisr); 752fcf5ef2aSThomas Huth } 753fcf5ef2aSThomas Huth return 1; 754fcf5ef2aSThomas Huth } 755fcf5ef2aSThomas Huth } 756fcf5ef2aSThomas Huth tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, 757fcf5ef2aSThomas Huth PAGE_READ | PAGE_WRITE | PAGE_EXEC, mmu_idx, 758fcf5ef2aSThomas Huth TARGET_PAGE_SIZE); 759fcf5ef2aSThomas Huth return 0; 760fcf5ef2aSThomas Huth } 761fcf5ef2aSThomas Huth 762fcf5ef2aSThomas Huth /* 2. Translation is on, so look up the SLB */ 763fcf5ef2aSThomas Huth slb = slb_lookup(cpu, eaddr); 764fcf5ef2aSThomas Huth if (!slb) { 765b2899495SSuraj Jitindar Singh /* No entry found, check if in-memory segment tables are in use */ 766b2899495SSuraj Jitindar Singh if ((env->mmu_model & POWERPC_MMU_V3) && ppc64_use_proc_tbl(cpu)) { 767b2899495SSuraj Jitindar Singh /* TODO - Unsupported */ 768b2899495SSuraj Jitindar Singh error_report("Segment Table Support Unimplemented"); 769b2899495SSuraj Jitindar Singh exit(1); 770b2899495SSuraj Jitindar Singh } 771b2899495SSuraj Jitindar Singh /* Segment still not found, generate the appropriate interrupt */ 772fcf5ef2aSThomas Huth if (rwx == 2) { 773fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_ISEG; 774fcf5ef2aSThomas Huth env->error_code = 0; 775fcf5ef2aSThomas Huth } else { 776fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_DSEG; 777fcf5ef2aSThomas Huth env->error_code = 0; 778fcf5ef2aSThomas Huth env->spr[SPR_DAR] = eaddr; 779fcf5ef2aSThomas Huth } 780fcf5ef2aSThomas Huth return 1; 781fcf5ef2aSThomas Huth } 782fcf5ef2aSThomas Huth 783fcf5ef2aSThomas Huth skip_slb_search: 784fcf5ef2aSThomas Huth 785fcf5ef2aSThomas Huth /* 3. Check for segment level no-execute violation */ 786fcf5ef2aSThomas Huth if ((rwx == 2) && (slb->vsid & SLB_VSID_N)) { 787*da82c73aSSuraj Jitindar Singh ppc_hash64_set_isi(cs, env, SRR1_NOEXEC_GUARD); 788fcf5ef2aSThomas Huth return 1; 789fcf5ef2aSThomas Huth } 790fcf5ef2aSThomas Huth 791fcf5ef2aSThomas Huth /* 4. Locate the PTE in the hash table */ 7927222b94aSDavid Gibson ptex = ppc_hash64_htab_lookup(cpu, slb, eaddr, &pte, &apshift); 7937222b94aSDavid Gibson if (ptex == -1) { 794fcf5ef2aSThomas Huth if (rwx == 2) { 795*da82c73aSSuraj Jitindar Singh ppc_hash64_set_isi(cs, env, SRR1_NOPTE); 796fcf5ef2aSThomas Huth } else { 797*da82c73aSSuraj Jitindar Singh int dsisr = DSISR_NOPTE; 798fcf5ef2aSThomas Huth if (rwx == 1) { 799*da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 800fcf5ef2aSThomas Huth } 801fcf5ef2aSThomas Huth ppc_hash64_set_dsi(cs, env, eaddr, dsisr); 802fcf5ef2aSThomas Huth } 803fcf5ef2aSThomas Huth return 1; 804fcf5ef2aSThomas Huth } 805fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 8067222b94aSDavid Gibson "found PTE at index %08" HWADDR_PRIx "\n", ptex); 807fcf5ef2aSThomas Huth 808fcf5ef2aSThomas Huth /* 5. Check access permissions */ 809fcf5ef2aSThomas Huth 81007a68f99SSuraj Jitindar Singh exec_prot = ppc_hash64_pte_noexec_guard(cpu, pte); 811fcf5ef2aSThomas Huth pp_prot = ppc_hash64_pte_prot(cpu, slb, pte); 812fcf5ef2aSThomas Huth amr_prot = ppc_hash64_amr_prot(cpu, pte); 81307a68f99SSuraj Jitindar Singh prot = exec_prot & pp_prot & amr_prot; 814fcf5ef2aSThomas Huth 815fcf5ef2aSThomas Huth if ((need_prot[rwx] & ~prot) != 0) { 816fcf5ef2aSThomas Huth /* Access right violation */ 817fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, "PTE access rejected\n"); 818fcf5ef2aSThomas Huth if (rwx == 2) { 819a6152b52SSuraj Jitindar Singh int srr1 = 0; 82007a68f99SSuraj Jitindar Singh if (PAGE_EXEC & ~exec_prot) { 82107a68f99SSuraj Jitindar Singh srr1 |= SRR1_NOEXEC_GUARD; /* Access violates noexec or guard */ 82207a68f99SSuraj Jitindar Singh } else if (PAGE_EXEC & ~pp_prot) { 823a6152b52SSuraj Jitindar Singh srr1 |= SRR1_PROTFAULT; /* Access violates access authority */ 824a6152b52SSuraj Jitindar Singh } 825a6152b52SSuraj Jitindar Singh if (PAGE_EXEC & ~amr_prot) { 826a6152b52SSuraj Jitindar Singh srr1 |= SRR1_IAMR; /* Access violates virt pg class key prot */ 827a6152b52SSuraj Jitindar Singh } 828a6152b52SSuraj Jitindar Singh ppc_hash64_set_isi(cs, env, srr1); 829fcf5ef2aSThomas Huth } else { 830*da82c73aSSuraj Jitindar Singh int dsisr = 0; 831fcf5ef2aSThomas Huth if (need_prot[rwx] & ~pp_prot) { 832*da82c73aSSuraj Jitindar Singh dsisr |= DSISR_PROTFAULT; 833fcf5ef2aSThomas Huth } 834fcf5ef2aSThomas Huth if (rwx == 1) { 835*da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 836fcf5ef2aSThomas Huth } 837fcf5ef2aSThomas Huth if (need_prot[rwx] & ~amr_prot) { 838*da82c73aSSuraj Jitindar Singh dsisr |= DSISR_AMR; 839fcf5ef2aSThomas Huth } 840fcf5ef2aSThomas Huth ppc_hash64_set_dsi(cs, env, eaddr, dsisr); 841fcf5ef2aSThomas Huth } 842fcf5ef2aSThomas Huth return 1; 843fcf5ef2aSThomas Huth } 844fcf5ef2aSThomas Huth 845fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, "PTE access granted !\n"); 846fcf5ef2aSThomas Huth 847fcf5ef2aSThomas Huth /* 6. Update PTE referenced and changed bits if necessary */ 848fcf5ef2aSThomas Huth 849fcf5ef2aSThomas Huth new_pte1 = pte.pte1 | HPTE64_R_R; /* set referenced bit */ 850fcf5ef2aSThomas Huth if (rwx == 1) { 851fcf5ef2aSThomas Huth new_pte1 |= HPTE64_R_C; /* set changed (dirty) bit */ 852fcf5ef2aSThomas Huth } else { 853fcf5ef2aSThomas Huth /* Treat the page as read-only for now, so that a later write 854fcf5ef2aSThomas Huth * will pass through this function again to set the C bit */ 855fcf5ef2aSThomas Huth prot &= ~PAGE_WRITE; 856fcf5ef2aSThomas Huth } 857fcf5ef2aSThomas Huth 858fcf5ef2aSThomas Huth if (new_pte1 != pte.pte1) { 8597222b94aSDavid Gibson ppc_hash64_store_hpte(cpu, ptex, pte.pte0, new_pte1); 860fcf5ef2aSThomas Huth } 861fcf5ef2aSThomas Huth 862fcf5ef2aSThomas Huth /* 7. Determine the real address from the PTE */ 863fcf5ef2aSThomas Huth 864fcf5ef2aSThomas Huth raddr = deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, eaddr); 865fcf5ef2aSThomas Huth 866fcf5ef2aSThomas Huth tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, 867fcf5ef2aSThomas Huth prot, mmu_idx, 1ULL << apshift); 868fcf5ef2aSThomas Huth 869fcf5ef2aSThomas Huth return 0; 870fcf5ef2aSThomas Huth } 871fcf5ef2aSThomas Huth 872fcf5ef2aSThomas Huth hwaddr ppc_hash64_get_phys_page_debug(PowerPCCPU *cpu, target_ulong addr) 873fcf5ef2aSThomas Huth { 874fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 875fcf5ef2aSThomas Huth ppc_slb_t *slb; 8767222b94aSDavid Gibson hwaddr ptex, raddr; 877fcf5ef2aSThomas Huth ppc_hash_pte64_t pte; 878fcf5ef2aSThomas Huth unsigned apshift; 879fcf5ef2aSThomas Huth 880fcf5ef2aSThomas Huth /* Handle real mode */ 881fcf5ef2aSThomas Huth if (msr_dr == 0) { 882fcf5ef2aSThomas Huth /* In real mode the top 4 effective address bits are ignored */ 883fcf5ef2aSThomas Huth raddr = addr & 0x0FFFFFFFFFFFFFFFULL; 884fcf5ef2aSThomas Huth 885fcf5ef2aSThomas Huth /* In HV mode, add HRMOR if top EA bit is clear */ 886fcf5ef2aSThomas Huth if ((msr_hv || !env->has_hv_mode) && !(addr >> 63)) { 887fcf5ef2aSThomas Huth return raddr | env->spr[SPR_HRMOR]; 888fcf5ef2aSThomas Huth } 889fcf5ef2aSThomas Huth 890fcf5ef2aSThomas Huth /* Otherwise, check VPM for RMA vs VRMA */ 891fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_VPM0) { 892fcf5ef2aSThomas Huth slb = &env->vrma_slb; 893fcf5ef2aSThomas Huth if (!slb->sps) { 894fcf5ef2aSThomas Huth return -1; 895fcf5ef2aSThomas Huth } 896fcf5ef2aSThomas Huth } else if (raddr < env->rmls) { 897fcf5ef2aSThomas Huth /* RMA. Check bounds in RMLS */ 898fcf5ef2aSThomas Huth return raddr | env->spr[SPR_RMOR]; 899fcf5ef2aSThomas Huth } else { 900fcf5ef2aSThomas Huth return -1; 901fcf5ef2aSThomas Huth } 902fcf5ef2aSThomas Huth } else { 903fcf5ef2aSThomas Huth slb = slb_lookup(cpu, addr); 904fcf5ef2aSThomas Huth if (!slb) { 905fcf5ef2aSThomas Huth return -1; 906fcf5ef2aSThomas Huth } 907fcf5ef2aSThomas Huth } 908fcf5ef2aSThomas Huth 9097222b94aSDavid Gibson ptex = ppc_hash64_htab_lookup(cpu, slb, addr, &pte, &apshift); 9107222b94aSDavid Gibson if (ptex == -1) { 911fcf5ef2aSThomas Huth return -1; 912fcf5ef2aSThomas Huth } 913fcf5ef2aSThomas Huth 914fcf5ef2aSThomas Huth return deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, addr) 915fcf5ef2aSThomas Huth & TARGET_PAGE_MASK; 916fcf5ef2aSThomas Huth } 917fcf5ef2aSThomas Huth 9187222b94aSDavid Gibson void ppc_hash64_store_hpte(PowerPCCPU *cpu, hwaddr ptex, 9197222b94aSDavid Gibson uint64_t pte0, uint64_t pte1) 920fcf5ef2aSThomas Huth { 921e57ca75cSDavid Gibson hwaddr base = ppc_hash64_hpt_base(cpu); 9227222b94aSDavid Gibson hwaddr offset = ptex * HASH_PTE_SIZE_64; 923fcf5ef2aSThomas Huth 924e57ca75cSDavid Gibson if (cpu->vhyp) { 925e57ca75cSDavid Gibson PPCVirtualHypervisorClass *vhc = 926e57ca75cSDavid Gibson PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 927e57ca75cSDavid Gibson vhc->store_hpte(cpu->vhyp, ptex, pte0, pte1); 928fcf5ef2aSThomas Huth return; 929fcf5ef2aSThomas Huth } 930fcf5ef2aSThomas Huth 93136778660SDavid Gibson stq_phys(CPU(cpu)->as, base + offset, pte0); 93236778660SDavid Gibson stq_phys(CPU(cpu)->as, base + offset + HASH_PTE_SIZE_64 / 2, pte1); 933fcf5ef2aSThomas Huth } 934fcf5ef2aSThomas Huth 9357222b94aSDavid Gibson void ppc_hash64_tlb_flush_hpte(PowerPCCPU *cpu, target_ulong ptex, 936fcf5ef2aSThomas Huth target_ulong pte0, target_ulong pte1) 937fcf5ef2aSThomas Huth { 938fcf5ef2aSThomas Huth /* 939fcf5ef2aSThomas Huth * XXX: given the fact that there are too many segments to 940fcf5ef2aSThomas Huth * invalidate, and we still don't have a tlb_flush_mask(env, n, 941fcf5ef2aSThomas Huth * mask) in QEMU, we just invalidate all TLBs 942fcf5ef2aSThomas Huth */ 943fcf5ef2aSThomas Huth cpu->env.tlb_need_flush = TLB_NEED_GLOBAL_FLUSH | TLB_NEED_LOCAL_FLUSH; 944fcf5ef2aSThomas Huth } 945fcf5ef2aSThomas Huth 946fcf5ef2aSThomas Huth void ppc_hash64_update_rmls(CPUPPCState *env) 947fcf5ef2aSThomas Huth { 948fcf5ef2aSThomas Huth uint64_t lpcr = env->spr[SPR_LPCR]; 949fcf5ef2aSThomas Huth 950fcf5ef2aSThomas Huth /* 951fcf5ef2aSThomas Huth * This is the full 4 bits encoding of POWER8. Previous 952fcf5ef2aSThomas Huth * CPUs only support a subset of these but the filtering 953fcf5ef2aSThomas Huth * is done when writing LPCR 954fcf5ef2aSThomas Huth */ 955fcf5ef2aSThomas Huth switch ((lpcr & LPCR_RMLS) >> LPCR_RMLS_SHIFT) { 956fcf5ef2aSThomas Huth case 0x8: /* 32MB */ 957fcf5ef2aSThomas Huth env->rmls = 0x2000000ull; 958fcf5ef2aSThomas Huth break; 959fcf5ef2aSThomas Huth case 0x3: /* 64MB */ 960fcf5ef2aSThomas Huth env->rmls = 0x4000000ull; 961fcf5ef2aSThomas Huth break; 962fcf5ef2aSThomas Huth case 0x7: /* 128MB */ 963fcf5ef2aSThomas Huth env->rmls = 0x8000000ull; 964fcf5ef2aSThomas Huth break; 965fcf5ef2aSThomas Huth case 0x4: /* 256MB */ 966fcf5ef2aSThomas Huth env->rmls = 0x10000000ull; 967fcf5ef2aSThomas Huth break; 968fcf5ef2aSThomas Huth case 0x2: /* 1GB */ 969fcf5ef2aSThomas Huth env->rmls = 0x40000000ull; 970fcf5ef2aSThomas Huth break; 971fcf5ef2aSThomas Huth case 0x1: /* 16GB */ 972fcf5ef2aSThomas Huth env->rmls = 0x400000000ull; 973fcf5ef2aSThomas Huth break; 974fcf5ef2aSThomas Huth default: 975fcf5ef2aSThomas Huth /* What to do here ??? */ 976fcf5ef2aSThomas Huth env->rmls = 0; 977fcf5ef2aSThomas Huth } 978fcf5ef2aSThomas Huth } 979fcf5ef2aSThomas Huth 980fcf5ef2aSThomas Huth void ppc_hash64_update_vrma(CPUPPCState *env) 981fcf5ef2aSThomas Huth { 982fcf5ef2aSThomas Huth const struct ppc_one_seg_page_size *sps = NULL; 983fcf5ef2aSThomas Huth target_ulong esid, vsid, lpcr; 984fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->vrma_slb; 985fcf5ef2aSThomas Huth uint32_t vrmasd; 986fcf5ef2aSThomas Huth int i; 987fcf5ef2aSThomas Huth 988fcf5ef2aSThomas Huth /* First clear it */ 989fcf5ef2aSThomas Huth slb->esid = slb->vsid = 0; 990fcf5ef2aSThomas Huth slb->sps = NULL; 991fcf5ef2aSThomas Huth 992fcf5ef2aSThomas Huth /* Is VRMA enabled ? */ 993fcf5ef2aSThomas Huth lpcr = env->spr[SPR_LPCR]; 994fcf5ef2aSThomas Huth if (!(lpcr & LPCR_VPM0)) { 995fcf5ef2aSThomas Huth return; 996fcf5ef2aSThomas Huth } 997fcf5ef2aSThomas Huth 998fcf5ef2aSThomas Huth /* Make one up. Mostly ignore the ESID which will not be 999fcf5ef2aSThomas Huth * needed for translation 1000fcf5ef2aSThomas Huth */ 1001fcf5ef2aSThomas Huth vsid = SLB_VSID_VRMA; 1002fcf5ef2aSThomas Huth vrmasd = (lpcr & LPCR_VRMASD) >> LPCR_VRMASD_SHIFT; 1003fcf5ef2aSThomas Huth vsid |= (vrmasd << 4) & (SLB_VSID_L | SLB_VSID_LP); 1004fcf5ef2aSThomas Huth esid = SLB_ESID_V; 1005fcf5ef2aSThomas Huth 1006fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 1007fcf5ef2aSThomas Huth const struct ppc_one_seg_page_size *sps1 = &env->sps.sps[i]; 1008fcf5ef2aSThomas Huth 1009fcf5ef2aSThomas Huth if (!sps1->page_shift) { 1010fcf5ef2aSThomas Huth break; 1011fcf5ef2aSThomas Huth } 1012fcf5ef2aSThomas Huth 1013fcf5ef2aSThomas Huth if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) { 1014fcf5ef2aSThomas Huth sps = sps1; 1015fcf5ef2aSThomas Huth break; 1016fcf5ef2aSThomas Huth } 1017fcf5ef2aSThomas Huth } 1018fcf5ef2aSThomas Huth 1019fcf5ef2aSThomas Huth if (!sps) { 1020fcf5ef2aSThomas Huth error_report("Bad page size encoding esid 0x"TARGET_FMT_lx 1021fcf5ef2aSThomas Huth " vsid 0x"TARGET_FMT_lx, esid, vsid); 1022fcf5ef2aSThomas Huth return; 1023fcf5ef2aSThomas Huth } 1024fcf5ef2aSThomas Huth 1025fcf5ef2aSThomas Huth slb->vsid = vsid; 1026fcf5ef2aSThomas Huth slb->esid = esid; 1027fcf5ef2aSThomas Huth slb->sps = sps; 1028fcf5ef2aSThomas Huth } 1029fcf5ef2aSThomas Huth 1030fcf5ef2aSThomas Huth void helper_store_lpcr(CPUPPCState *env, target_ulong val) 1031fcf5ef2aSThomas Huth { 1032fcf5ef2aSThomas Huth uint64_t lpcr = 0; 1033fcf5ef2aSThomas Huth 1034fcf5ef2aSThomas Huth /* Filter out bits */ 1035fcf5ef2aSThomas Huth switch (env->mmu_model) { 1036fcf5ef2aSThomas Huth case POWERPC_MMU_64B: /* 970 */ 1037fcf5ef2aSThomas Huth if (val & 0x40) { 1038fcf5ef2aSThomas Huth lpcr |= LPCR_LPES0; 1039fcf5ef2aSThomas Huth } 1040fcf5ef2aSThomas Huth if (val & 0x8000000000000000ull) { 1041fcf5ef2aSThomas Huth lpcr |= LPCR_LPES1; 1042fcf5ef2aSThomas Huth } 1043fcf5ef2aSThomas Huth if (val & 0x20) { 1044fcf5ef2aSThomas Huth lpcr |= (0x4ull << LPCR_RMLS_SHIFT); 1045fcf5ef2aSThomas Huth } 1046fcf5ef2aSThomas Huth if (val & 0x4000000000000000ull) { 1047fcf5ef2aSThomas Huth lpcr |= (0x2ull << LPCR_RMLS_SHIFT); 1048fcf5ef2aSThomas Huth } 1049fcf5ef2aSThomas Huth if (val & 0x2000000000000000ull) { 1050fcf5ef2aSThomas Huth lpcr |= (0x1ull << LPCR_RMLS_SHIFT); 1051fcf5ef2aSThomas Huth } 1052fcf5ef2aSThomas Huth env->spr[SPR_RMOR] = ((lpcr >> 41) & 0xffffull) << 26; 1053fcf5ef2aSThomas Huth 1054fcf5ef2aSThomas Huth /* XXX We could also write LPID from HID4 here 1055fcf5ef2aSThomas Huth * but since we don't tag any translation on it 1056fcf5ef2aSThomas Huth * it doesn't actually matter 1057fcf5ef2aSThomas Huth */ 1058fcf5ef2aSThomas Huth /* XXX For proper emulation of 970 we also need 1059fcf5ef2aSThomas Huth * to dig HRMOR out of HID5 1060fcf5ef2aSThomas Huth */ 1061fcf5ef2aSThomas Huth break; 1062fcf5ef2aSThomas Huth case POWERPC_MMU_2_03: /* P5p */ 1063fcf5ef2aSThomas Huth lpcr = val & (LPCR_RMLS | LPCR_ILE | 1064fcf5ef2aSThomas Huth LPCR_LPES0 | LPCR_LPES1 | 1065fcf5ef2aSThomas Huth LPCR_RMI | LPCR_HDICE); 1066fcf5ef2aSThomas Huth break; 1067fcf5ef2aSThomas Huth case POWERPC_MMU_2_06: /* P7 */ 1068fcf5ef2aSThomas Huth lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_DPFD | 1069fcf5ef2aSThomas Huth LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | 1070fcf5ef2aSThomas Huth LPCR_P7_PECE0 | LPCR_P7_PECE1 | LPCR_P7_PECE2 | 1071fcf5ef2aSThomas Huth LPCR_MER | LPCR_TC | 1072fcf5ef2aSThomas Huth LPCR_LPES0 | LPCR_LPES1 | LPCR_HDICE); 1073fcf5ef2aSThomas Huth break; 1074fcf5ef2aSThomas Huth case POWERPC_MMU_2_07: /* P8 */ 1075fcf5ef2aSThomas Huth lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_KBV | 1076fcf5ef2aSThomas Huth LPCR_DPFD | LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | 1077fcf5ef2aSThomas Huth LPCR_AIL | LPCR_ONL | LPCR_P8_PECE0 | LPCR_P8_PECE1 | 1078fcf5ef2aSThomas Huth LPCR_P8_PECE2 | LPCR_P8_PECE3 | LPCR_P8_PECE4 | 1079fcf5ef2aSThomas Huth LPCR_MER | LPCR_TC | LPCR_LPES0 | LPCR_HDICE); 1080fcf5ef2aSThomas Huth break; 108118aa49ecSSuraj Jitindar Singh case POWERPC_MMU_3_00: /* P9 */ 108218aa49ecSSuraj Jitindar Singh lpcr = val & (LPCR_VPM1 | LPCR_ISL | LPCR_KBV | LPCR_DPFD | 108318aa49ecSSuraj Jitindar Singh (LPCR_PECE_U_MASK & LPCR_HVEE) | LPCR_ILE | LPCR_AIL | 108418aa49ecSSuraj Jitindar Singh LPCR_UPRT | LPCR_EVIRT | LPCR_ONL | 108518aa49ecSSuraj Jitindar Singh (LPCR_PECE_L_MASK & (LPCR_PDEE | LPCR_HDEE | LPCR_EEE | 108618aa49ecSSuraj Jitindar Singh LPCR_DEE | LPCR_OEE)) | LPCR_MER | LPCR_GTSE | LPCR_TC | 108718aa49ecSSuraj Jitindar Singh LPCR_HEIC | LPCR_LPES0 | LPCR_HVICE | LPCR_HDICE); 108818aa49ecSSuraj Jitindar Singh break; 1089fcf5ef2aSThomas Huth default: 1090fcf5ef2aSThomas Huth ; 1091fcf5ef2aSThomas Huth } 1092fcf5ef2aSThomas Huth env->spr[SPR_LPCR] = lpcr; 1093fcf5ef2aSThomas Huth ppc_hash64_update_rmls(env); 1094fcf5ef2aSThomas Huth ppc_hash64_update_vrma(env); 1095fcf5ef2aSThomas Huth } 1096