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 "cpu.h" 22fcf5ef2aSThomas Huth #include "exec/exec-all.h" 23fcf5ef2aSThomas Huth #include "exec/helper-proto.h" 24fcf5ef2aSThomas Huth #include "qemu/error-report.h" 25fad866daSMarkus Armbruster #include "qemu/qemu-print.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 33d75cbae8SDavid Gibson /* #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 5667d7d66fSDavid Gibson for (n = 0; n < cpu->hash64_opts->slb_size; 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); 61d75cbae8SDavid Gibson /* 62d75cbae8SDavid Gibson * We check for 1T matches on all MMUs here - if the MMU 63fcf5ef2aSThomas Huth * doesn't have 1T segment support, we will have prevented 1T 64d75cbae8SDavid Gibson * entries from being inserted in the slbmte code. 65d75cbae8SDavid Gibson */ 66fcf5ef2aSThomas Huth if (((slb->esid == esid_256M) && 67fcf5ef2aSThomas Huth ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_256M)) 68fcf5ef2aSThomas Huth || ((slb->esid == esid_1T) && 69fcf5ef2aSThomas Huth ((slb->vsid & SLB_VSID_B) == SLB_VSID_B_1T))) { 70fcf5ef2aSThomas Huth return slb; 71fcf5ef2aSThomas Huth } 72fcf5ef2aSThomas Huth } 73fcf5ef2aSThomas Huth 74fcf5ef2aSThomas Huth return NULL; 75fcf5ef2aSThomas Huth } 76fcf5ef2aSThomas Huth 77fad866daSMarkus Armbruster void dump_slb(PowerPCCPU *cpu) 78fcf5ef2aSThomas Huth { 79fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 80fcf5ef2aSThomas Huth int i; 81fcf5ef2aSThomas Huth uint64_t slbe, slbv; 82fcf5ef2aSThomas Huth 83fcf5ef2aSThomas Huth cpu_synchronize_state(CPU(cpu)); 84fcf5ef2aSThomas Huth 85fad866daSMarkus Armbruster qemu_printf("SLB\tESID\t\t\tVSID\n"); 8667d7d66fSDavid Gibson for (i = 0; i < cpu->hash64_opts->slb_size; i++) { 87fcf5ef2aSThomas Huth slbe = env->slb[i].esid; 88fcf5ef2aSThomas Huth slbv = env->slb[i].vsid; 89fcf5ef2aSThomas Huth if (slbe == 0 && slbv == 0) { 90fcf5ef2aSThomas Huth continue; 91fcf5ef2aSThomas Huth } 92fad866daSMarkus Armbruster qemu_printf("%d\t0x%016" PRIx64 "\t0x%016" PRIx64 "\n", 93fcf5ef2aSThomas Huth i, slbe, slbv); 94fcf5ef2aSThomas Huth } 95fcf5ef2aSThomas Huth } 96fcf5ef2aSThomas Huth 97fcf5ef2aSThomas Huth void helper_slbia(CPUPPCState *env) 98fcf5ef2aSThomas Huth { 9967d7d66fSDavid Gibson PowerPCCPU *cpu = ppc_env_get_cpu(env); 100fcf5ef2aSThomas Huth int n; 101fcf5ef2aSThomas Huth 102fcf5ef2aSThomas Huth /* XXX: Warning: slbia never invalidates the first segment */ 10367d7d66fSDavid Gibson for (n = 1; n < cpu->hash64_opts->slb_size; n++) { 104fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->slb[n]; 105fcf5ef2aSThomas Huth 106fcf5ef2aSThomas Huth if (slb->esid & SLB_ESID_V) { 107fcf5ef2aSThomas Huth slb->esid &= ~SLB_ESID_V; 108d75cbae8SDavid Gibson /* 109d75cbae8SDavid Gibson * XXX: given the fact that segment size is 256 MB or 1TB, 110fcf5ef2aSThomas Huth * and we still don't have a tlb_flush_mask(env, n, mask) 111fcf5ef2aSThomas Huth * in QEMU, we just invalidate all TLBs 112fcf5ef2aSThomas Huth */ 113fcf5ef2aSThomas Huth env->tlb_need_flush |= TLB_NEED_LOCAL_FLUSH; 114fcf5ef2aSThomas Huth } 115fcf5ef2aSThomas Huth } 116fcf5ef2aSThomas Huth } 117fcf5ef2aSThomas Huth 118a63f1dfcSNikunj A Dadhania static void __helper_slbie(CPUPPCState *env, target_ulong addr, 119a63f1dfcSNikunj A Dadhania target_ulong global) 120fcf5ef2aSThomas Huth { 121fcf5ef2aSThomas Huth PowerPCCPU *cpu = ppc_env_get_cpu(env); 122fcf5ef2aSThomas Huth ppc_slb_t *slb; 123fcf5ef2aSThomas Huth 124fcf5ef2aSThomas Huth slb = slb_lookup(cpu, addr); 125fcf5ef2aSThomas Huth if (!slb) { 126fcf5ef2aSThomas Huth return; 127fcf5ef2aSThomas Huth } 128fcf5ef2aSThomas Huth 129fcf5ef2aSThomas Huth if (slb->esid & SLB_ESID_V) { 130fcf5ef2aSThomas Huth slb->esid &= ~SLB_ESID_V; 131fcf5ef2aSThomas Huth 132d75cbae8SDavid Gibson /* 133d75cbae8SDavid Gibson * XXX: given the fact that segment size is 256 MB or 1TB, 134fcf5ef2aSThomas Huth * and we still don't have a tlb_flush_mask(env, n, mask) 135fcf5ef2aSThomas Huth * in QEMU, we just invalidate all TLBs 136fcf5ef2aSThomas Huth */ 137a63f1dfcSNikunj A Dadhania env->tlb_need_flush |= 138a63f1dfcSNikunj A Dadhania (global == false ? TLB_NEED_LOCAL_FLUSH : TLB_NEED_GLOBAL_FLUSH); 139fcf5ef2aSThomas Huth } 140fcf5ef2aSThomas Huth } 141fcf5ef2aSThomas Huth 142a63f1dfcSNikunj A Dadhania void helper_slbie(CPUPPCState *env, target_ulong addr) 143a63f1dfcSNikunj A Dadhania { 144a63f1dfcSNikunj A Dadhania __helper_slbie(env, addr, false); 145a63f1dfcSNikunj A Dadhania } 146a63f1dfcSNikunj A Dadhania 147a63f1dfcSNikunj A Dadhania void helper_slbieg(CPUPPCState *env, target_ulong addr) 148a63f1dfcSNikunj A Dadhania { 149a63f1dfcSNikunj A Dadhania __helper_slbie(env, addr, true); 150a63f1dfcSNikunj A Dadhania } 151a63f1dfcSNikunj A Dadhania 152fcf5ef2aSThomas Huth int ppc_store_slb(PowerPCCPU *cpu, target_ulong slot, 153fcf5ef2aSThomas Huth target_ulong esid, target_ulong vsid) 154fcf5ef2aSThomas Huth { 155fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 156fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->slb[slot]; 157b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps = NULL; 158fcf5ef2aSThomas Huth int i; 159fcf5ef2aSThomas Huth 16067d7d66fSDavid Gibson if (slot >= cpu->hash64_opts->slb_size) { 161fcf5ef2aSThomas Huth return -1; /* Bad slot number */ 162fcf5ef2aSThomas Huth } 163fcf5ef2aSThomas Huth if (esid & ~(SLB_ESID_ESID | SLB_ESID_V)) { 164fcf5ef2aSThomas Huth return -1; /* Reserved bits set */ 165fcf5ef2aSThomas Huth } 166fcf5ef2aSThomas Huth if (vsid & (SLB_VSID_B & ~SLB_VSID_B_1T)) { 167fcf5ef2aSThomas Huth return -1; /* Bad segment size */ 168fcf5ef2aSThomas Huth } 16958969eeeSDavid Gibson if ((vsid & SLB_VSID_B) && !(ppc_hash64_has(cpu, PPC_HASH64_1TSEG))) { 170fcf5ef2aSThomas Huth return -1; /* 1T segment on MMU that doesn't support it */ 171fcf5ef2aSThomas Huth } 172fcf5ef2aSThomas Huth 173fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 174b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps1 = &cpu->hash64_opts->sps[i]; 175fcf5ef2aSThomas Huth 176fcf5ef2aSThomas Huth if (!sps1->page_shift) { 177fcf5ef2aSThomas Huth break; 178fcf5ef2aSThomas Huth } 179fcf5ef2aSThomas Huth 180fcf5ef2aSThomas Huth if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) { 181fcf5ef2aSThomas Huth sps = sps1; 182fcf5ef2aSThomas Huth break; 183fcf5ef2aSThomas Huth } 184fcf5ef2aSThomas Huth } 185fcf5ef2aSThomas Huth 186fcf5ef2aSThomas Huth if (!sps) { 187fcf5ef2aSThomas Huth error_report("Bad page size encoding in SLB store: slot "TARGET_FMT_lu 188fcf5ef2aSThomas Huth " esid 0x"TARGET_FMT_lx" vsid 0x"TARGET_FMT_lx, 189fcf5ef2aSThomas Huth slot, esid, vsid); 190fcf5ef2aSThomas Huth return -1; 191fcf5ef2aSThomas Huth } 192fcf5ef2aSThomas Huth 193fcf5ef2aSThomas Huth slb->esid = esid; 194fcf5ef2aSThomas Huth slb->vsid = vsid; 195fcf5ef2aSThomas Huth slb->sps = sps; 196fcf5ef2aSThomas Huth 19776134d48SSuraj Jitindar Singh LOG_SLB("%s: " TARGET_FMT_lu " " TARGET_FMT_lx " - " TARGET_FMT_lx 19876134d48SSuraj Jitindar Singh " => %016" PRIx64 " %016" PRIx64 "\n", __func__, slot, esid, vsid, 199fcf5ef2aSThomas Huth slb->esid, slb->vsid); 200fcf5ef2aSThomas Huth 201fcf5ef2aSThomas Huth return 0; 202fcf5ef2aSThomas Huth } 203fcf5ef2aSThomas Huth 204fcf5ef2aSThomas Huth static int ppc_load_slb_esid(PowerPCCPU *cpu, target_ulong rb, 205fcf5ef2aSThomas Huth target_ulong *rt) 206fcf5ef2aSThomas Huth { 207fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 208fcf5ef2aSThomas Huth int slot = rb & 0xfff; 209fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->slb[slot]; 210fcf5ef2aSThomas Huth 21167d7d66fSDavid Gibson if (slot >= cpu->hash64_opts->slb_size) { 212fcf5ef2aSThomas Huth return -1; 213fcf5ef2aSThomas Huth } 214fcf5ef2aSThomas Huth 215fcf5ef2aSThomas Huth *rt = slb->esid; 216fcf5ef2aSThomas Huth return 0; 217fcf5ef2aSThomas Huth } 218fcf5ef2aSThomas Huth 219fcf5ef2aSThomas Huth static int ppc_load_slb_vsid(PowerPCCPU *cpu, target_ulong rb, 220fcf5ef2aSThomas Huth target_ulong *rt) 221fcf5ef2aSThomas Huth { 222fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 223fcf5ef2aSThomas Huth int slot = rb & 0xfff; 224fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->slb[slot]; 225fcf5ef2aSThomas Huth 22667d7d66fSDavid Gibson if (slot >= cpu->hash64_opts->slb_size) { 227fcf5ef2aSThomas Huth return -1; 228fcf5ef2aSThomas Huth } 229fcf5ef2aSThomas Huth 230fcf5ef2aSThomas Huth *rt = slb->vsid; 231fcf5ef2aSThomas Huth return 0; 232fcf5ef2aSThomas Huth } 233fcf5ef2aSThomas Huth 234fcf5ef2aSThomas Huth static int ppc_find_slb_vsid(PowerPCCPU *cpu, target_ulong rb, 235fcf5ef2aSThomas Huth target_ulong *rt) 236fcf5ef2aSThomas Huth { 237fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 238fcf5ef2aSThomas Huth ppc_slb_t *slb; 239fcf5ef2aSThomas Huth 240fcf5ef2aSThomas Huth if (!msr_is_64bit(env, env->msr)) { 241fcf5ef2aSThomas Huth rb &= 0xffffffff; 242fcf5ef2aSThomas Huth } 243fcf5ef2aSThomas Huth slb = slb_lookup(cpu, rb); 244fcf5ef2aSThomas Huth if (slb == NULL) { 245fcf5ef2aSThomas Huth *rt = (target_ulong)-1ul; 246fcf5ef2aSThomas Huth } else { 247fcf5ef2aSThomas Huth *rt = slb->vsid; 248fcf5ef2aSThomas Huth } 249fcf5ef2aSThomas Huth return 0; 250fcf5ef2aSThomas Huth } 251fcf5ef2aSThomas Huth 252fcf5ef2aSThomas Huth void helper_store_slb(CPUPPCState *env, target_ulong rb, target_ulong rs) 253fcf5ef2aSThomas Huth { 254fcf5ef2aSThomas Huth PowerPCCPU *cpu = ppc_env_get_cpu(env); 255fcf5ef2aSThomas Huth 256fcf5ef2aSThomas Huth if (ppc_store_slb(cpu, rb & 0xfff, rb & ~0xfffULL, rs) < 0) { 257fcf5ef2aSThomas Huth raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, 258fcf5ef2aSThomas Huth POWERPC_EXCP_INVAL, GETPC()); 259fcf5ef2aSThomas Huth } 260fcf5ef2aSThomas Huth } 261fcf5ef2aSThomas Huth 262fcf5ef2aSThomas Huth target_ulong helper_load_slb_esid(CPUPPCState *env, target_ulong rb) 263fcf5ef2aSThomas Huth { 264fcf5ef2aSThomas Huth PowerPCCPU *cpu = ppc_env_get_cpu(env); 265fcf5ef2aSThomas Huth target_ulong rt = 0; 266fcf5ef2aSThomas Huth 267fcf5ef2aSThomas Huth if (ppc_load_slb_esid(cpu, rb, &rt) < 0) { 268fcf5ef2aSThomas Huth raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, 269fcf5ef2aSThomas Huth POWERPC_EXCP_INVAL, GETPC()); 270fcf5ef2aSThomas Huth } 271fcf5ef2aSThomas Huth return rt; 272fcf5ef2aSThomas Huth } 273fcf5ef2aSThomas Huth 274fcf5ef2aSThomas Huth target_ulong helper_find_slb_vsid(CPUPPCState *env, target_ulong rb) 275fcf5ef2aSThomas Huth { 276fcf5ef2aSThomas Huth PowerPCCPU *cpu = ppc_env_get_cpu(env); 277fcf5ef2aSThomas Huth target_ulong rt = 0; 278fcf5ef2aSThomas Huth 279fcf5ef2aSThomas Huth if (ppc_find_slb_vsid(cpu, rb, &rt) < 0) { 280fcf5ef2aSThomas Huth raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, 281fcf5ef2aSThomas Huth POWERPC_EXCP_INVAL, GETPC()); 282fcf5ef2aSThomas Huth } 283fcf5ef2aSThomas Huth return rt; 284fcf5ef2aSThomas Huth } 285fcf5ef2aSThomas Huth 286fcf5ef2aSThomas Huth target_ulong helper_load_slb_vsid(CPUPPCState *env, target_ulong rb) 287fcf5ef2aSThomas Huth { 288fcf5ef2aSThomas Huth PowerPCCPU *cpu = ppc_env_get_cpu(env); 289fcf5ef2aSThomas Huth target_ulong rt = 0; 290fcf5ef2aSThomas Huth 291fcf5ef2aSThomas Huth if (ppc_load_slb_vsid(cpu, rb, &rt) < 0) { 292fcf5ef2aSThomas Huth raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM, 293fcf5ef2aSThomas Huth POWERPC_EXCP_INVAL, GETPC()); 294fcf5ef2aSThomas Huth } 295fcf5ef2aSThomas Huth return rt; 296fcf5ef2aSThomas Huth } 297fcf5ef2aSThomas Huth 29807a68f99SSuraj Jitindar Singh /* Check No-Execute or Guarded Storage */ 29907a68f99SSuraj Jitindar Singh static inline int ppc_hash64_pte_noexec_guard(PowerPCCPU *cpu, 30007a68f99SSuraj Jitindar Singh ppc_hash_pte64_t pte) 30107a68f99SSuraj Jitindar Singh { 30207a68f99SSuraj Jitindar Singh /* Exec permissions CANNOT take away read or write permissions */ 30307a68f99SSuraj Jitindar Singh return (pte.pte1 & HPTE64_R_N) || (pte.pte1 & HPTE64_R_G) ? 30407a68f99SSuraj Jitindar Singh PAGE_READ | PAGE_WRITE : PAGE_READ | PAGE_WRITE | PAGE_EXEC; 30507a68f99SSuraj Jitindar Singh } 30607a68f99SSuraj Jitindar Singh 30707a68f99SSuraj Jitindar Singh /* Check Basic Storage Protection */ 308fcf5ef2aSThomas Huth static int ppc_hash64_pte_prot(PowerPCCPU *cpu, 309fcf5ef2aSThomas Huth ppc_slb_t *slb, ppc_hash_pte64_t pte) 310fcf5ef2aSThomas Huth { 311fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 312fcf5ef2aSThomas Huth unsigned pp, key; 313d75cbae8SDavid Gibson /* 314d75cbae8SDavid Gibson * Some pp bit combinations have undefined behaviour, so default 315d75cbae8SDavid Gibson * to no access in those cases 316d75cbae8SDavid Gibson */ 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: 328347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 329fcf5ef2aSThomas Huth break; 330fcf5ef2aSThomas Huth 331fcf5ef2aSThomas Huth case 0x3: 332fcf5ef2aSThomas Huth case 0x6: 333347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_EXEC; 334fcf5ef2aSThomas Huth break; 335fcf5ef2aSThomas Huth } 336fcf5ef2aSThomas Huth } else { 337fcf5ef2aSThomas Huth switch (pp) { 338fcf5ef2aSThomas Huth case 0x0: 339fcf5ef2aSThomas Huth case 0x6: 340fcf5ef2aSThomas Huth break; 341fcf5ef2aSThomas Huth 342fcf5ef2aSThomas Huth case 0x1: 343fcf5ef2aSThomas Huth case 0x3: 344347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_EXEC; 345fcf5ef2aSThomas Huth break; 346fcf5ef2aSThomas Huth 347fcf5ef2aSThomas Huth case 0x2: 348347a5c73SSuraj Jitindar Singh prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 349fcf5ef2aSThomas Huth break; 350fcf5ef2aSThomas Huth } 351fcf5ef2aSThomas Huth } 352fcf5ef2aSThomas Huth 353fcf5ef2aSThomas Huth return prot; 354fcf5ef2aSThomas Huth } 355fcf5ef2aSThomas Huth 356a6152b52SSuraj Jitindar Singh /* Check the instruction access permissions specified in the IAMR */ 357a6152b52SSuraj Jitindar Singh static int ppc_hash64_iamr_prot(PowerPCCPU *cpu, int key) 358a6152b52SSuraj Jitindar Singh { 359a6152b52SSuraj Jitindar Singh CPUPPCState *env = &cpu->env; 360a6152b52SSuraj Jitindar Singh int iamr_bits = (env->spr[SPR_IAMR] >> 2 * (31 - key)) & 0x3; 361a6152b52SSuraj Jitindar Singh 362a6152b52SSuraj Jitindar Singh /* 363a6152b52SSuraj Jitindar Singh * An instruction fetch is permitted if the IAMR bit is 0. 364a6152b52SSuraj Jitindar Singh * If the bit is set, return PAGE_READ | PAGE_WRITE because this bit 365a6152b52SSuraj Jitindar Singh * can only take away EXEC permissions not READ or WRITE permissions. 366a6152b52SSuraj Jitindar Singh * If bit is cleared return PAGE_READ | PAGE_WRITE | PAGE_EXEC since 367a6152b52SSuraj Jitindar Singh * EXEC permissions are allowed. 368a6152b52SSuraj Jitindar Singh */ 369a6152b52SSuraj Jitindar Singh return (iamr_bits & 0x1) ? PAGE_READ | PAGE_WRITE : 370a6152b52SSuraj Jitindar Singh PAGE_READ | PAGE_WRITE | PAGE_EXEC; 371a6152b52SSuraj Jitindar Singh } 372a6152b52SSuraj Jitindar Singh 373fcf5ef2aSThomas Huth static int ppc_hash64_amr_prot(PowerPCCPU *cpu, ppc_hash_pte64_t pte) 374fcf5ef2aSThomas Huth { 375fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 376fcf5ef2aSThomas Huth int key, amrbits; 377fcf5ef2aSThomas Huth int prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 378fcf5ef2aSThomas Huth 379fcf5ef2aSThomas Huth /* Only recent MMUs implement Virtual Page Class Key Protection */ 38058969eeeSDavid Gibson if (!ppc_hash64_has(cpu, PPC_HASH64_AMR)) { 381fcf5ef2aSThomas Huth return prot; 382fcf5ef2aSThomas Huth } 383fcf5ef2aSThomas Huth 384fcf5ef2aSThomas Huth key = HPTE64_R_KEY(pte.pte1); 385fcf5ef2aSThomas Huth amrbits = (env->spr[SPR_AMR] >> 2 * (31 - key)) & 0x3; 386fcf5ef2aSThomas Huth 387fcf5ef2aSThomas Huth /* fprintf(stderr, "AMR protection: key=%d AMR=0x%" PRIx64 "\n", key, */ 388fcf5ef2aSThomas Huth /* env->spr[SPR_AMR]); */ 389fcf5ef2aSThomas Huth 390fcf5ef2aSThomas Huth /* 391fcf5ef2aSThomas Huth * A store is permitted if the AMR bit is 0. Remove write 392fcf5ef2aSThomas Huth * protection if it is set. 393fcf5ef2aSThomas Huth */ 394fcf5ef2aSThomas Huth if (amrbits & 0x2) { 395fcf5ef2aSThomas Huth prot &= ~PAGE_WRITE; 396fcf5ef2aSThomas Huth } 397fcf5ef2aSThomas Huth /* 398fcf5ef2aSThomas Huth * A load is permitted if the AMR bit is 0. Remove read 399fcf5ef2aSThomas Huth * protection if it is set. 400fcf5ef2aSThomas Huth */ 401fcf5ef2aSThomas Huth if (amrbits & 0x1) { 402fcf5ef2aSThomas Huth prot &= ~PAGE_READ; 403fcf5ef2aSThomas Huth } 404fcf5ef2aSThomas Huth 405a6152b52SSuraj Jitindar Singh switch (env->mmu_model) { 406a6152b52SSuraj Jitindar Singh /* 407a6152b52SSuraj Jitindar Singh * MMU version 2.07 and later support IAMR 408a6152b52SSuraj Jitindar Singh * Check if the IAMR allows the instruction access - it will return 409a6152b52SSuraj Jitindar Singh * PAGE_EXEC if it doesn't (and thus that bit will be cleared) or 0 410a6152b52SSuraj Jitindar Singh * if it does (and prot will be unchanged indicating execution support). 411a6152b52SSuraj Jitindar Singh */ 412a6152b52SSuraj Jitindar Singh case POWERPC_MMU_2_07: 413a6152b52SSuraj Jitindar Singh case POWERPC_MMU_3_00: 414a6152b52SSuraj Jitindar Singh prot &= ppc_hash64_iamr_prot(cpu, key); 415a6152b52SSuraj Jitindar Singh break; 416a6152b52SSuraj Jitindar Singh default: 417a6152b52SSuraj Jitindar Singh break; 418a6152b52SSuraj Jitindar Singh } 419a6152b52SSuraj Jitindar Singh 420fcf5ef2aSThomas Huth return prot; 421fcf5ef2aSThomas Huth } 422fcf5ef2aSThomas Huth 4237222b94aSDavid Gibson const ppc_hash_pte64_t *ppc_hash64_map_hptes(PowerPCCPU *cpu, 4247222b94aSDavid Gibson hwaddr ptex, int n) 425fcf5ef2aSThomas Huth { 4267222b94aSDavid Gibson hwaddr pte_offset = ptex * HASH_PTE_SIZE_64; 4273367c62fSBenjamin Herrenschmidt hwaddr base; 4287222b94aSDavid Gibson hwaddr plen = n * HASH_PTE_SIZE_64; 429e57ca75cSDavid Gibson const ppc_hash_pte64_t *hptes; 430e57ca75cSDavid Gibson 431e57ca75cSDavid Gibson if (cpu->vhyp) { 432e57ca75cSDavid Gibson PPCVirtualHypervisorClass *vhc = 433e57ca75cSDavid Gibson PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 434e57ca75cSDavid Gibson return vhc->map_hptes(cpu->vhyp, ptex, n); 435e57ca75cSDavid Gibson } 4363367c62fSBenjamin Herrenschmidt base = ppc_hash64_hpt_base(cpu); 437e57ca75cSDavid Gibson 438e57ca75cSDavid Gibson if (!base) { 439e57ca75cSDavid Gibson return NULL; 440e57ca75cSDavid Gibson } 441e57ca75cSDavid Gibson 442f26404fbSPeter Maydell hptes = address_space_map(CPU(cpu)->as, base + pte_offset, &plen, false, 443f26404fbSPeter Maydell MEMTXATTRS_UNSPECIFIED); 4447222b94aSDavid Gibson if (plen < (n * HASH_PTE_SIZE_64)) { 4457222b94aSDavid Gibson hw_error("%s: Unable to map all requested HPTEs\n", __func__); 446fcf5ef2aSThomas Huth } 4477222b94aSDavid Gibson return hptes; 448fcf5ef2aSThomas Huth } 449fcf5ef2aSThomas Huth 4507222b94aSDavid Gibson void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes, 4517222b94aSDavid Gibson hwaddr ptex, int n) 452fcf5ef2aSThomas Huth { 453e57ca75cSDavid Gibson if (cpu->vhyp) { 454e57ca75cSDavid Gibson PPCVirtualHypervisorClass *vhc = 455e57ca75cSDavid Gibson PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 456e57ca75cSDavid Gibson vhc->unmap_hptes(cpu->vhyp, hptes, ptex, n); 457e57ca75cSDavid Gibson return; 458e57ca75cSDavid Gibson } 459e57ca75cSDavid Gibson 4607222b94aSDavid Gibson address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64, 4617222b94aSDavid Gibson false, n * HASH_PTE_SIZE_64); 462fcf5ef2aSThomas Huth } 463fcf5ef2aSThomas Huth 464b07c59f7SDavid Gibson static unsigned hpte_page_shift(const PPCHash64SegmentPageSizes *sps, 465fcf5ef2aSThomas Huth uint64_t pte0, uint64_t pte1) 466fcf5ef2aSThomas Huth { 467fcf5ef2aSThomas Huth int i; 468fcf5ef2aSThomas Huth 469fcf5ef2aSThomas Huth if (!(pte0 & HPTE64_V_LARGE)) { 470fcf5ef2aSThomas Huth if (sps->page_shift != 12) { 471fcf5ef2aSThomas Huth /* 4kiB page in a non 4kiB segment */ 472fcf5ef2aSThomas Huth return 0; 473fcf5ef2aSThomas Huth } 474fcf5ef2aSThomas Huth /* Normal 4kiB page */ 475fcf5ef2aSThomas Huth return 12; 476fcf5ef2aSThomas Huth } 477fcf5ef2aSThomas Huth 478fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 479b07c59f7SDavid Gibson const PPCHash64PageSize *ps = &sps->enc[i]; 480fcf5ef2aSThomas Huth uint64_t mask; 481fcf5ef2aSThomas Huth 482fcf5ef2aSThomas Huth if (!ps->page_shift) { 483fcf5ef2aSThomas Huth break; 484fcf5ef2aSThomas Huth } 485fcf5ef2aSThomas Huth 486fcf5ef2aSThomas Huth if (ps->page_shift == 12) { 487fcf5ef2aSThomas Huth /* L bit is set so this can't be a 4kiB page */ 488fcf5ef2aSThomas Huth continue; 489fcf5ef2aSThomas Huth } 490fcf5ef2aSThomas Huth 491fcf5ef2aSThomas Huth mask = ((1ULL << ps->page_shift) - 1) & HPTE64_R_RPN; 492fcf5ef2aSThomas Huth 493fcf5ef2aSThomas Huth if ((pte1 & mask) == ((uint64_t)ps->pte_enc << HPTE64_R_RPN_SHIFT)) { 494fcf5ef2aSThomas Huth return ps->page_shift; 495fcf5ef2aSThomas Huth } 496fcf5ef2aSThomas Huth } 497fcf5ef2aSThomas Huth 498fcf5ef2aSThomas Huth return 0; /* Bad page size encoding */ 499fcf5ef2aSThomas Huth } 500fcf5ef2aSThomas Huth 50134525595SBenjamin Herrenschmidt static void ppc64_v3_new_to_old_hpte(target_ulong *pte0, target_ulong *pte1) 50234525595SBenjamin Herrenschmidt { 50334525595SBenjamin Herrenschmidt /* Insert B into pte0 */ 50434525595SBenjamin Herrenschmidt *pte0 = (*pte0 & HPTE64_V_COMMON_BITS) | 50534525595SBenjamin Herrenschmidt ((*pte1 & HPTE64_R_3_0_SSIZE_MASK) << 50634525595SBenjamin Herrenschmidt (HPTE64_V_SSIZE_SHIFT - HPTE64_R_3_0_SSIZE_SHIFT)); 50734525595SBenjamin Herrenschmidt 50834525595SBenjamin Herrenschmidt /* Remove B from pte1 */ 50934525595SBenjamin Herrenschmidt *pte1 = *pte1 & ~HPTE64_R_3_0_SSIZE_MASK; 51034525595SBenjamin Herrenschmidt } 51134525595SBenjamin Herrenschmidt 51234525595SBenjamin Herrenschmidt 513fcf5ef2aSThomas Huth static hwaddr ppc_hash64_pteg_search(PowerPCCPU *cpu, hwaddr hash, 514b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps, 515fcf5ef2aSThomas Huth target_ulong ptem, 516fcf5ef2aSThomas Huth ppc_hash_pte64_t *pte, unsigned *pshift) 517fcf5ef2aSThomas Huth { 518fcf5ef2aSThomas Huth int i; 5197222b94aSDavid Gibson const ppc_hash_pte64_t *pteg; 520fcf5ef2aSThomas Huth target_ulong pte0, pte1; 5217222b94aSDavid Gibson target_ulong ptex; 522fcf5ef2aSThomas Huth 52336778660SDavid Gibson ptex = (hash & ppc_hash64_hpt_mask(cpu)) * HPTES_PER_GROUP; 5247222b94aSDavid Gibson pteg = ppc_hash64_map_hptes(cpu, ptex, HPTES_PER_GROUP); 5257222b94aSDavid Gibson if (!pteg) { 526fcf5ef2aSThomas Huth return -1; 527fcf5ef2aSThomas Huth } 528fcf5ef2aSThomas Huth for (i = 0; i < HPTES_PER_GROUP; i++) { 5297222b94aSDavid Gibson pte0 = ppc_hash64_hpte0(cpu, pteg, i); 5303054b0caSBenjamin Herrenschmidt /* 5313054b0caSBenjamin Herrenschmidt * pte0 contains the valid bit and must be read before pte1, 5323054b0caSBenjamin Herrenschmidt * otherwise we might see an old pte1 with a new valid bit and 5333054b0caSBenjamin Herrenschmidt * thus an inconsistent hpte value 5343054b0caSBenjamin Herrenschmidt */ 5353054b0caSBenjamin Herrenschmidt smp_rmb(); 5367222b94aSDavid Gibson pte1 = ppc_hash64_hpte1(cpu, pteg, i); 537fcf5ef2aSThomas Huth 53834525595SBenjamin Herrenschmidt /* Convert format if necessary */ 53934525595SBenjamin Herrenschmidt if (cpu->env.mmu_model == POWERPC_MMU_3_00 && !cpu->vhyp) { 54034525595SBenjamin Herrenschmidt ppc64_v3_new_to_old_hpte(&pte0, &pte1); 54134525595SBenjamin Herrenschmidt } 54234525595SBenjamin Herrenschmidt 543fcf5ef2aSThomas Huth /* This compares V, B, H (secondary) and the AVPN */ 544fcf5ef2aSThomas Huth if (HPTE64_V_COMPARE(pte0, ptem)) { 545fcf5ef2aSThomas Huth *pshift = hpte_page_shift(sps, pte0, pte1); 546fcf5ef2aSThomas Huth /* 547fcf5ef2aSThomas Huth * If there is no match, ignore the PTE, it could simply 548fcf5ef2aSThomas Huth * be for a different segment size encoding and the 549fcf5ef2aSThomas Huth * architecture specifies we should not match. Linux will 550fcf5ef2aSThomas Huth * potentially leave behind PTEs for the wrong base page 551fcf5ef2aSThomas Huth * size when demoting segments. 552fcf5ef2aSThomas Huth */ 553fcf5ef2aSThomas Huth if (*pshift == 0) { 554fcf5ef2aSThomas Huth continue; 555fcf5ef2aSThomas Huth } 556d75cbae8SDavid Gibson /* 557d75cbae8SDavid Gibson * We don't do anything with pshift yet as qemu TLB only 558d75cbae8SDavid Gibson * deals with 4K pages anyway 559fcf5ef2aSThomas Huth */ 560fcf5ef2aSThomas Huth pte->pte0 = pte0; 561fcf5ef2aSThomas Huth pte->pte1 = pte1; 5627222b94aSDavid Gibson ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); 5637222b94aSDavid Gibson return ptex + i; 564fcf5ef2aSThomas Huth } 565fcf5ef2aSThomas Huth } 5667222b94aSDavid Gibson ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP); 567fcf5ef2aSThomas Huth /* 568fcf5ef2aSThomas Huth * We didn't find a valid entry. 569fcf5ef2aSThomas Huth */ 570fcf5ef2aSThomas Huth return -1; 571fcf5ef2aSThomas Huth } 572fcf5ef2aSThomas Huth 573fcf5ef2aSThomas Huth static hwaddr ppc_hash64_htab_lookup(PowerPCCPU *cpu, 574fcf5ef2aSThomas Huth ppc_slb_t *slb, target_ulong eaddr, 575fcf5ef2aSThomas Huth ppc_hash_pte64_t *pte, unsigned *pshift) 576fcf5ef2aSThomas Huth { 577fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 5787222b94aSDavid Gibson hwaddr hash, ptex; 579fcf5ef2aSThomas Huth uint64_t vsid, epnmask, epn, ptem; 580b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps = slb->sps; 581fcf5ef2aSThomas Huth 582d75cbae8SDavid Gibson /* 583d75cbae8SDavid Gibson * The SLB store path should prevent any bad page size encodings 584d75cbae8SDavid Gibson * getting in there, so: 585d75cbae8SDavid Gibson */ 586fcf5ef2aSThomas Huth assert(sps); 587fcf5ef2aSThomas Huth 588fcf5ef2aSThomas Huth /* If ISL is set in LPCR we need to clamp the page size to 4K */ 589fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_ISL) { 590fcf5ef2aSThomas Huth /* We assume that when using TCG, 4k is first entry of SPS */ 591b07c59f7SDavid Gibson sps = &cpu->hash64_opts->sps[0]; 592fcf5ef2aSThomas Huth assert(sps->page_shift == 12); 593fcf5ef2aSThomas Huth } 594fcf5ef2aSThomas Huth 595fcf5ef2aSThomas Huth epnmask = ~((1ULL << sps->page_shift) - 1); 596fcf5ef2aSThomas Huth 597fcf5ef2aSThomas Huth if (slb->vsid & SLB_VSID_B) { 598fcf5ef2aSThomas Huth /* 1TB segment */ 599fcf5ef2aSThomas Huth vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT_1T; 600fcf5ef2aSThomas Huth epn = (eaddr & ~SEGMENT_MASK_1T) & epnmask; 601fcf5ef2aSThomas Huth hash = vsid ^ (vsid << 25) ^ (epn >> sps->page_shift); 602fcf5ef2aSThomas Huth } else { 603fcf5ef2aSThomas Huth /* 256M segment */ 604fcf5ef2aSThomas Huth vsid = (slb->vsid & SLB_VSID_VSID) >> SLB_VSID_SHIFT; 605fcf5ef2aSThomas Huth epn = (eaddr & ~SEGMENT_MASK_256M) & epnmask; 606fcf5ef2aSThomas Huth hash = vsid ^ (epn >> sps->page_shift); 607fcf5ef2aSThomas Huth } 608fcf5ef2aSThomas Huth ptem = (slb->vsid & SLB_VSID_PTEM) | ((epn >> 16) & HPTE64_V_AVPN); 609fcf5ef2aSThomas Huth ptem |= HPTE64_V_VALID; 610fcf5ef2aSThomas Huth 611fcf5ef2aSThomas Huth /* Page address translation */ 612fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 613fcf5ef2aSThomas Huth "htab_base " TARGET_FMT_plx " htab_mask " TARGET_FMT_plx 614fcf5ef2aSThomas Huth " hash " TARGET_FMT_plx "\n", 61536778660SDavid Gibson ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), hash); 616fcf5ef2aSThomas Huth 617fcf5ef2aSThomas Huth /* Primary PTEG lookup */ 618fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 619fcf5ef2aSThomas Huth "0 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx 620fcf5ef2aSThomas Huth " vsid=" TARGET_FMT_lx " ptem=" TARGET_FMT_lx 621fcf5ef2aSThomas Huth " hash=" TARGET_FMT_plx "\n", 62236778660SDavid Gibson ppc_hash64_hpt_base(cpu), ppc_hash64_hpt_mask(cpu), 62336778660SDavid Gibson vsid, ptem, hash); 6247222b94aSDavid Gibson ptex = ppc_hash64_pteg_search(cpu, hash, sps, ptem, pte, pshift); 625fcf5ef2aSThomas Huth 6267222b94aSDavid Gibson if (ptex == -1) { 627fcf5ef2aSThomas Huth /* Secondary PTEG lookup */ 628fcf5ef2aSThomas Huth ptem |= HPTE64_V_SECONDARY; 629fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 630fcf5ef2aSThomas Huth "1 htab=" TARGET_FMT_plx "/" TARGET_FMT_plx 631fcf5ef2aSThomas Huth " vsid=" TARGET_FMT_lx " api=" TARGET_FMT_lx 63236778660SDavid Gibson " hash=" TARGET_FMT_plx "\n", ppc_hash64_hpt_base(cpu), 63336778660SDavid Gibson ppc_hash64_hpt_mask(cpu), vsid, ptem, ~hash); 634fcf5ef2aSThomas Huth 6357222b94aSDavid Gibson ptex = ppc_hash64_pteg_search(cpu, ~hash, sps, ptem, pte, pshift); 636fcf5ef2aSThomas Huth } 637fcf5ef2aSThomas Huth 6387222b94aSDavid Gibson return ptex; 639fcf5ef2aSThomas Huth } 640fcf5ef2aSThomas Huth 641fcf5ef2aSThomas Huth unsigned ppc_hash64_hpte_page_shift_noslb(PowerPCCPU *cpu, 642fcf5ef2aSThomas Huth uint64_t pte0, uint64_t pte1) 643fcf5ef2aSThomas Huth { 644fcf5ef2aSThomas Huth int i; 645fcf5ef2aSThomas Huth 646fcf5ef2aSThomas Huth if (!(pte0 & HPTE64_V_LARGE)) { 647fcf5ef2aSThomas Huth return 12; 648fcf5ef2aSThomas Huth } 649fcf5ef2aSThomas Huth 650fcf5ef2aSThomas Huth /* 651fcf5ef2aSThomas Huth * The encodings in env->sps need to be carefully chosen so that 652fcf5ef2aSThomas Huth * this gives an unambiguous result. 653fcf5ef2aSThomas Huth */ 654fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 655b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps = &cpu->hash64_opts->sps[i]; 656fcf5ef2aSThomas Huth unsigned shift; 657fcf5ef2aSThomas Huth 658fcf5ef2aSThomas Huth if (!sps->page_shift) { 659fcf5ef2aSThomas Huth break; 660fcf5ef2aSThomas Huth } 661fcf5ef2aSThomas Huth 662fcf5ef2aSThomas Huth shift = hpte_page_shift(sps, pte0, pte1); 663fcf5ef2aSThomas Huth if (shift) { 664fcf5ef2aSThomas Huth return shift; 665fcf5ef2aSThomas Huth } 666fcf5ef2aSThomas Huth } 667fcf5ef2aSThomas Huth 668fcf5ef2aSThomas Huth return 0; 669fcf5ef2aSThomas Huth } 670fcf5ef2aSThomas Huth 6718fe08facSDavid Gibson static void ppc_hash64_set_isi(CPUState *cs, uint64_t error_code) 672fcf5ef2aSThomas Huth { 6738fe08facSDavid Gibson CPUPPCState *env = &POWERPC_CPU(cs)->env; 674fcf5ef2aSThomas Huth bool vpm; 675fcf5ef2aSThomas Huth 676fcf5ef2aSThomas Huth if (msr_ir) { 677fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); 678fcf5ef2aSThomas Huth } else { 67950659083SSuraj Jitindar Singh switch (env->mmu_model) { 68050659083SSuraj Jitindar Singh case POWERPC_MMU_3_00: 68150659083SSuraj Jitindar Singh /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ 68250659083SSuraj Jitindar Singh vpm = true; 68350659083SSuraj Jitindar Singh break; 68450659083SSuraj Jitindar Singh default: 685fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); 68650659083SSuraj Jitindar Singh break; 68750659083SSuraj Jitindar Singh } 688fcf5ef2aSThomas Huth } 689fcf5ef2aSThomas Huth if (vpm && !msr_hv) { 690fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_HISI; 691fcf5ef2aSThomas Huth } else { 692fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_ISI; 693fcf5ef2aSThomas Huth } 694fcf5ef2aSThomas Huth env->error_code = error_code; 695fcf5ef2aSThomas Huth } 696fcf5ef2aSThomas Huth 6978fe08facSDavid Gibson static void ppc_hash64_set_dsi(CPUState *cs, uint64_t dar, uint64_t dsisr) 698fcf5ef2aSThomas Huth { 6998fe08facSDavid Gibson CPUPPCState *env = &POWERPC_CPU(cs)->env; 700fcf5ef2aSThomas Huth bool vpm; 701fcf5ef2aSThomas Huth 702fcf5ef2aSThomas Huth if (msr_dr) { 703fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM1); 704fcf5ef2aSThomas Huth } else { 70550659083SSuraj Jitindar Singh switch (env->mmu_model) { 70650659083SSuraj Jitindar Singh case POWERPC_MMU_3_00: 70750659083SSuraj Jitindar Singh /* Field deprecated in ISAv3.00 - interrupts always go to hyperv */ 70850659083SSuraj Jitindar Singh vpm = true; 70950659083SSuraj Jitindar Singh break; 71050659083SSuraj Jitindar Singh default: 711fcf5ef2aSThomas Huth vpm = !!(env->spr[SPR_LPCR] & LPCR_VPM0); 71250659083SSuraj Jitindar Singh break; 71350659083SSuraj Jitindar Singh } 714fcf5ef2aSThomas Huth } 715fcf5ef2aSThomas Huth if (vpm && !msr_hv) { 716fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_HDSI; 717fcf5ef2aSThomas Huth env->spr[SPR_HDAR] = dar; 718fcf5ef2aSThomas Huth env->spr[SPR_HDSISR] = dsisr; 719fcf5ef2aSThomas Huth } else { 720fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_DSI; 721fcf5ef2aSThomas Huth env->spr[SPR_DAR] = dar; 722fcf5ef2aSThomas Huth env->spr[SPR_DSISR] = dsisr; 723fcf5ef2aSThomas Huth } 724fcf5ef2aSThomas Huth env->error_code = 0; 725fcf5ef2aSThomas Huth } 726fcf5ef2aSThomas Huth 727fcf5ef2aSThomas Huth 728*a2dd4e83SBenjamin Herrenschmidt static void ppc_hash64_set_r(PowerPCCPU *cpu, hwaddr ptex, uint64_t pte1) 729*a2dd4e83SBenjamin Herrenschmidt { 730*a2dd4e83SBenjamin Herrenschmidt hwaddr base, offset = ptex * HASH_PTE_SIZE_64 + 16; 731*a2dd4e83SBenjamin Herrenschmidt 732*a2dd4e83SBenjamin Herrenschmidt if (cpu->vhyp) { 733*a2dd4e83SBenjamin Herrenschmidt PPCVirtualHypervisorClass *vhc = 734*a2dd4e83SBenjamin Herrenschmidt PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 735*a2dd4e83SBenjamin Herrenschmidt vhc->hpte_set_r(cpu->vhyp, ptex, pte1); 736*a2dd4e83SBenjamin Herrenschmidt return; 737*a2dd4e83SBenjamin Herrenschmidt } 738*a2dd4e83SBenjamin Herrenschmidt base = ppc_hash64_hpt_base(cpu); 739*a2dd4e83SBenjamin Herrenschmidt 740*a2dd4e83SBenjamin Herrenschmidt 741*a2dd4e83SBenjamin Herrenschmidt /* The HW performs a non-atomic byte update */ 742*a2dd4e83SBenjamin Herrenschmidt stb_phys(CPU(cpu)->as, base + offset, ((pte1 >> 8) & 0xff) | 0x01); 743*a2dd4e83SBenjamin Herrenschmidt } 744*a2dd4e83SBenjamin Herrenschmidt 745*a2dd4e83SBenjamin Herrenschmidt static void ppc_hash64_set_c(PowerPCCPU *cpu, hwaddr ptex, uint64_t pte1) 746*a2dd4e83SBenjamin Herrenschmidt { 747*a2dd4e83SBenjamin Herrenschmidt hwaddr base, offset = ptex * HASH_PTE_SIZE_64 + 15; 748*a2dd4e83SBenjamin Herrenschmidt 749*a2dd4e83SBenjamin Herrenschmidt if (cpu->vhyp) { 750*a2dd4e83SBenjamin Herrenschmidt PPCVirtualHypervisorClass *vhc = 751*a2dd4e83SBenjamin Herrenschmidt PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp); 752*a2dd4e83SBenjamin Herrenschmidt vhc->hpte_set_c(cpu->vhyp, ptex, pte1); 753*a2dd4e83SBenjamin Herrenschmidt return; 754*a2dd4e83SBenjamin Herrenschmidt } 755*a2dd4e83SBenjamin Herrenschmidt base = ppc_hash64_hpt_base(cpu); 756*a2dd4e83SBenjamin Herrenschmidt 757*a2dd4e83SBenjamin Herrenschmidt /* The HW performs a non-atomic byte update */ 758*a2dd4e83SBenjamin Herrenschmidt stb_phys(CPU(cpu)->as, base + offset, (pte1 & 0xff) | 0x80); 759*a2dd4e83SBenjamin Herrenschmidt } 760*a2dd4e83SBenjamin Herrenschmidt 761fcf5ef2aSThomas Huth int ppc_hash64_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr, 762fcf5ef2aSThomas Huth int rwx, int mmu_idx) 763fcf5ef2aSThomas Huth { 764fcf5ef2aSThomas Huth CPUState *cs = CPU(cpu); 765fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 766fcf5ef2aSThomas Huth ppc_slb_t *slb; 767fcf5ef2aSThomas Huth unsigned apshift; 7687222b94aSDavid Gibson hwaddr ptex; 769fcf5ef2aSThomas Huth ppc_hash_pte64_t pte; 77007a68f99SSuraj Jitindar Singh int exec_prot, pp_prot, amr_prot, prot; 771fcf5ef2aSThomas Huth const int need_prot[] = {PAGE_READ, PAGE_WRITE, PAGE_EXEC}; 772fcf5ef2aSThomas Huth hwaddr raddr; 773fcf5ef2aSThomas Huth 774fcf5ef2aSThomas Huth assert((rwx == 0) || (rwx == 1) || (rwx == 2)); 775fcf5ef2aSThomas Huth 776d75cbae8SDavid Gibson /* 777d75cbae8SDavid Gibson * Note on LPCR usage: 970 uses HID4, but our special variant of 778d75cbae8SDavid Gibson * store_spr copies relevant fields into env->spr[SPR_LPCR]. 779d75cbae8SDavid Gibson * Similarily we filter unimplemented bits when storing into LPCR 780d75cbae8SDavid Gibson * depending on the MMU version. This code can thus just use the 781d75cbae8SDavid Gibson * LPCR "as-is". 782fcf5ef2aSThomas Huth */ 783fcf5ef2aSThomas Huth 784fcf5ef2aSThomas Huth /* 1. Handle real mode accesses */ 785fcf5ef2aSThomas Huth if (((rwx == 2) && (msr_ir == 0)) || ((rwx != 2) && (msr_dr == 0))) { 786d75cbae8SDavid Gibson /* 787d75cbae8SDavid Gibson * Translation is supposedly "off", but in real mode the top 4 788d75cbae8SDavid Gibson * effective address bits are (mostly) ignored 789d75cbae8SDavid Gibson */ 790fcf5ef2aSThomas Huth raddr = eaddr & 0x0FFFFFFFFFFFFFFFULL; 791fcf5ef2aSThomas Huth 792fcf5ef2aSThomas Huth /* In HV mode, add HRMOR if top EA bit is clear */ 793fcf5ef2aSThomas Huth if (msr_hv || !env->has_hv_mode) { 794fcf5ef2aSThomas Huth if (!(eaddr >> 63)) { 795fcf5ef2aSThomas Huth raddr |= env->spr[SPR_HRMOR]; 796fcf5ef2aSThomas Huth } 797fcf5ef2aSThomas Huth } else { 798fcf5ef2aSThomas Huth /* Otherwise, check VPM for RMA vs VRMA */ 799fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_VPM0) { 800fcf5ef2aSThomas Huth slb = &env->vrma_slb; 801fcf5ef2aSThomas Huth if (slb->sps) { 802fcf5ef2aSThomas Huth goto skip_slb_search; 803fcf5ef2aSThomas Huth } 804fcf5ef2aSThomas Huth /* Not much else to do here */ 805fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_MCHECK; 806fcf5ef2aSThomas Huth env->error_code = 0; 807fcf5ef2aSThomas Huth return 1; 808fcf5ef2aSThomas Huth } else if (raddr < env->rmls) { 809fcf5ef2aSThomas Huth /* RMA. Check bounds in RMLS */ 810fcf5ef2aSThomas Huth raddr |= env->spr[SPR_RMOR]; 811fcf5ef2aSThomas Huth } else { 812fcf5ef2aSThomas Huth /* The access failed, generate the approriate interrupt */ 813fcf5ef2aSThomas Huth if (rwx == 2) { 8148fe08facSDavid Gibson ppc_hash64_set_isi(cs, SRR1_PROTFAULT); 815fcf5ef2aSThomas Huth } else { 816da82c73aSSuraj Jitindar Singh int dsisr = DSISR_PROTFAULT; 817fcf5ef2aSThomas Huth if (rwx == 1) { 818da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 819fcf5ef2aSThomas Huth } 8208fe08facSDavid Gibson ppc_hash64_set_dsi(cs, eaddr, dsisr); 821fcf5ef2aSThomas Huth } 822fcf5ef2aSThomas Huth return 1; 823fcf5ef2aSThomas Huth } 824fcf5ef2aSThomas Huth } 825fcf5ef2aSThomas Huth tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, 826fcf5ef2aSThomas Huth PAGE_READ | PAGE_WRITE | PAGE_EXEC, mmu_idx, 827fcf5ef2aSThomas Huth TARGET_PAGE_SIZE); 828fcf5ef2aSThomas Huth return 0; 829fcf5ef2aSThomas Huth } 830fcf5ef2aSThomas Huth 831fcf5ef2aSThomas Huth /* 2. Translation is on, so look up the SLB */ 832fcf5ef2aSThomas Huth slb = slb_lookup(cpu, eaddr); 833fcf5ef2aSThomas Huth if (!slb) { 834b2899495SSuraj Jitindar Singh /* No entry found, check if in-memory segment tables are in use */ 835ca79b3b7SDavid Gibson if (ppc64_use_proc_tbl(cpu)) { 836b2899495SSuraj Jitindar Singh /* TODO - Unsupported */ 837b2899495SSuraj Jitindar Singh error_report("Segment Table Support Unimplemented"); 838b2899495SSuraj Jitindar Singh exit(1); 839b2899495SSuraj Jitindar Singh } 840b2899495SSuraj Jitindar Singh /* Segment still not found, generate the appropriate interrupt */ 841fcf5ef2aSThomas Huth if (rwx == 2) { 842fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_ISEG; 843fcf5ef2aSThomas Huth env->error_code = 0; 844fcf5ef2aSThomas Huth } else { 845fcf5ef2aSThomas Huth cs->exception_index = POWERPC_EXCP_DSEG; 846fcf5ef2aSThomas Huth env->error_code = 0; 847fcf5ef2aSThomas Huth env->spr[SPR_DAR] = eaddr; 848fcf5ef2aSThomas Huth } 849fcf5ef2aSThomas Huth return 1; 850fcf5ef2aSThomas Huth } 851fcf5ef2aSThomas Huth 852fcf5ef2aSThomas Huth skip_slb_search: 853fcf5ef2aSThomas Huth 854fcf5ef2aSThomas Huth /* 3. Check for segment level no-execute violation */ 855fcf5ef2aSThomas Huth if ((rwx == 2) && (slb->vsid & SLB_VSID_N)) { 8568fe08facSDavid Gibson ppc_hash64_set_isi(cs, SRR1_NOEXEC_GUARD); 857fcf5ef2aSThomas Huth return 1; 858fcf5ef2aSThomas Huth } 859fcf5ef2aSThomas Huth 860fcf5ef2aSThomas Huth /* 4. Locate the PTE in the hash table */ 8617222b94aSDavid Gibson ptex = ppc_hash64_htab_lookup(cpu, slb, eaddr, &pte, &apshift); 8627222b94aSDavid Gibson if (ptex == -1) { 863fcf5ef2aSThomas Huth if (rwx == 2) { 8648fe08facSDavid Gibson ppc_hash64_set_isi(cs, SRR1_NOPTE); 865fcf5ef2aSThomas Huth } else { 866da82c73aSSuraj Jitindar Singh int dsisr = DSISR_NOPTE; 867fcf5ef2aSThomas Huth if (rwx == 1) { 868da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 869fcf5ef2aSThomas Huth } 8708fe08facSDavid Gibson ppc_hash64_set_dsi(cs, eaddr, dsisr); 871fcf5ef2aSThomas Huth } 872fcf5ef2aSThomas Huth return 1; 873fcf5ef2aSThomas Huth } 874fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, 8757222b94aSDavid Gibson "found PTE at index %08" HWADDR_PRIx "\n", ptex); 876fcf5ef2aSThomas Huth 877fcf5ef2aSThomas Huth /* 5. Check access permissions */ 878fcf5ef2aSThomas Huth 87907a68f99SSuraj Jitindar Singh exec_prot = ppc_hash64_pte_noexec_guard(cpu, pte); 880fcf5ef2aSThomas Huth pp_prot = ppc_hash64_pte_prot(cpu, slb, pte); 881fcf5ef2aSThomas Huth amr_prot = ppc_hash64_amr_prot(cpu, pte); 88207a68f99SSuraj Jitindar Singh prot = exec_prot & pp_prot & amr_prot; 883fcf5ef2aSThomas Huth 884fcf5ef2aSThomas Huth if ((need_prot[rwx] & ~prot) != 0) { 885fcf5ef2aSThomas Huth /* Access right violation */ 886fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, "PTE access rejected\n"); 887fcf5ef2aSThomas Huth if (rwx == 2) { 888a6152b52SSuraj Jitindar Singh int srr1 = 0; 88907a68f99SSuraj Jitindar Singh if (PAGE_EXEC & ~exec_prot) { 89007a68f99SSuraj Jitindar Singh srr1 |= SRR1_NOEXEC_GUARD; /* Access violates noexec or guard */ 89107a68f99SSuraj Jitindar Singh } else if (PAGE_EXEC & ~pp_prot) { 892a6152b52SSuraj Jitindar Singh srr1 |= SRR1_PROTFAULT; /* Access violates access authority */ 893a6152b52SSuraj Jitindar Singh } 894a6152b52SSuraj Jitindar Singh if (PAGE_EXEC & ~amr_prot) { 895a6152b52SSuraj Jitindar Singh srr1 |= SRR1_IAMR; /* Access violates virt pg class key prot */ 896a6152b52SSuraj Jitindar Singh } 8978fe08facSDavid Gibson ppc_hash64_set_isi(cs, srr1); 898fcf5ef2aSThomas Huth } else { 899da82c73aSSuraj Jitindar Singh int dsisr = 0; 900fcf5ef2aSThomas Huth if (need_prot[rwx] & ~pp_prot) { 901da82c73aSSuraj Jitindar Singh dsisr |= DSISR_PROTFAULT; 902fcf5ef2aSThomas Huth } 903fcf5ef2aSThomas Huth if (rwx == 1) { 904da82c73aSSuraj Jitindar Singh dsisr |= DSISR_ISSTORE; 905fcf5ef2aSThomas Huth } 906fcf5ef2aSThomas Huth if (need_prot[rwx] & ~amr_prot) { 907da82c73aSSuraj Jitindar Singh dsisr |= DSISR_AMR; 908fcf5ef2aSThomas Huth } 9098fe08facSDavid Gibson ppc_hash64_set_dsi(cs, eaddr, dsisr); 910fcf5ef2aSThomas Huth } 911fcf5ef2aSThomas Huth return 1; 912fcf5ef2aSThomas Huth } 913fcf5ef2aSThomas Huth 914fcf5ef2aSThomas Huth qemu_log_mask(CPU_LOG_MMU, "PTE access granted !\n"); 915fcf5ef2aSThomas Huth 916fcf5ef2aSThomas Huth /* 6. Update PTE referenced and changed bits if necessary */ 917fcf5ef2aSThomas Huth 918*a2dd4e83SBenjamin Herrenschmidt if (!(pte.pte1 & HPTE64_R_R)) { 919*a2dd4e83SBenjamin Herrenschmidt ppc_hash64_set_r(cpu, ptex, pte.pte1); 920*a2dd4e83SBenjamin Herrenschmidt } 921*a2dd4e83SBenjamin Herrenschmidt if (!(pte.pte1 & HPTE64_R_C)) { 922fcf5ef2aSThomas Huth if (rwx == 1) { 923*a2dd4e83SBenjamin Herrenschmidt ppc_hash64_set_c(cpu, ptex, pte.pte1); 924fcf5ef2aSThomas Huth } else { 925d75cbae8SDavid Gibson /* 926d75cbae8SDavid Gibson * Treat the page as read-only for now, so that a later write 927d75cbae8SDavid Gibson * will pass through this function again to set the C bit 928d75cbae8SDavid Gibson */ 929fcf5ef2aSThomas Huth prot &= ~PAGE_WRITE; 930fcf5ef2aSThomas Huth } 931fcf5ef2aSThomas Huth } 932fcf5ef2aSThomas Huth 933fcf5ef2aSThomas Huth /* 7. Determine the real address from the PTE */ 934fcf5ef2aSThomas Huth 935fcf5ef2aSThomas Huth raddr = deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, eaddr); 936fcf5ef2aSThomas Huth 937fcf5ef2aSThomas Huth tlb_set_page(cs, eaddr & TARGET_PAGE_MASK, raddr & TARGET_PAGE_MASK, 938fcf5ef2aSThomas Huth prot, mmu_idx, 1ULL << apshift); 939fcf5ef2aSThomas Huth 940fcf5ef2aSThomas Huth return 0; 941fcf5ef2aSThomas Huth } 942fcf5ef2aSThomas Huth 943fcf5ef2aSThomas Huth hwaddr ppc_hash64_get_phys_page_debug(PowerPCCPU *cpu, target_ulong addr) 944fcf5ef2aSThomas Huth { 945fcf5ef2aSThomas Huth CPUPPCState *env = &cpu->env; 946fcf5ef2aSThomas Huth ppc_slb_t *slb; 9477222b94aSDavid Gibson hwaddr ptex, raddr; 948fcf5ef2aSThomas Huth ppc_hash_pte64_t pte; 949fcf5ef2aSThomas Huth unsigned apshift; 950fcf5ef2aSThomas Huth 951fcf5ef2aSThomas Huth /* Handle real mode */ 952fcf5ef2aSThomas Huth if (msr_dr == 0) { 953fcf5ef2aSThomas Huth /* In real mode the top 4 effective address bits are ignored */ 954fcf5ef2aSThomas Huth raddr = addr & 0x0FFFFFFFFFFFFFFFULL; 955fcf5ef2aSThomas Huth 956fcf5ef2aSThomas Huth /* In HV mode, add HRMOR if top EA bit is clear */ 957fcf5ef2aSThomas Huth if ((msr_hv || !env->has_hv_mode) && !(addr >> 63)) { 958fcf5ef2aSThomas Huth return raddr | env->spr[SPR_HRMOR]; 959fcf5ef2aSThomas Huth } 960fcf5ef2aSThomas Huth 961fcf5ef2aSThomas Huth /* Otherwise, check VPM for RMA vs VRMA */ 962fcf5ef2aSThomas Huth if (env->spr[SPR_LPCR] & LPCR_VPM0) { 963fcf5ef2aSThomas Huth slb = &env->vrma_slb; 964fcf5ef2aSThomas Huth if (!slb->sps) { 965fcf5ef2aSThomas Huth return -1; 966fcf5ef2aSThomas Huth } 967fcf5ef2aSThomas Huth } else if (raddr < env->rmls) { 968fcf5ef2aSThomas Huth /* RMA. Check bounds in RMLS */ 969fcf5ef2aSThomas Huth return raddr | env->spr[SPR_RMOR]; 970fcf5ef2aSThomas Huth } else { 971fcf5ef2aSThomas Huth return -1; 972fcf5ef2aSThomas Huth } 973fcf5ef2aSThomas Huth } else { 974fcf5ef2aSThomas Huth slb = slb_lookup(cpu, addr); 975fcf5ef2aSThomas Huth if (!slb) { 976fcf5ef2aSThomas Huth return -1; 977fcf5ef2aSThomas Huth } 978fcf5ef2aSThomas Huth } 979fcf5ef2aSThomas Huth 9807222b94aSDavid Gibson ptex = ppc_hash64_htab_lookup(cpu, slb, addr, &pte, &apshift); 9817222b94aSDavid Gibson if (ptex == -1) { 982fcf5ef2aSThomas Huth return -1; 983fcf5ef2aSThomas Huth } 984fcf5ef2aSThomas Huth 985fcf5ef2aSThomas Huth return deposit64(pte.pte1 & HPTE64_R_RPN, 0, apshift, addr) 986fcf5ef2aSThomas Huth & TARGET_PAGE_MASK; 987fcf5ef2aSThomas Huth } 988fcf5ef2aSThomas Huth 9897222b94aSDavid Gibson void ppc_hash64_tlb_flush_hpte(PowerPCCPU *cpu, target_ulong ptex, 990fcf5ef2aSThomas Huth target_ulong pte0, target_ulong pte1) 991fcf5ef2aSThomas Huth { 992fcf5ef2aSThomas Huth /* 993fcf5ef2aSThomas Huth * XXX: given the fact that there are too many segments to 994fcf5ef2aSThomas Huth * invalidate, and we still don't have a tlb_flush_mask(env, n, 995fcf5ef2aSThomas Huth * mask) in QEMU, we just invalidate all TLBs 996fcf5ef2aSThomas Huth */ 997fcf5ef2aSThomas Huth cpu->env.tlb_need_flush = TLB_NEED_GLOBAL_FLUSH | TLB_NEED_LOCAL_FLUSH; 998fcf5ef2aSThomas Huth } 999fcf5ef2aSThomas Huth 10005ad55315SDavid Gibson static void ppc_hash64_update_rmls(PowerPCCPU *cpu) 1001fcf5ef2aSThomas Huth { 10028fe08facSDavid Gibson CPUPPCState *env = &cpu->env; 1003fcf5ef2aSThomas Huth uint64_t lpcr = env->spr[SPR_LPCR]; 1004fcf5ef2aSThomas Huth 1005fcf5ef2aSThomas Huth /* 1006fcf5ef2aSThomas Huth * This is the full 4 bits encoding of POWER8. Previous 1007fcf5ef2aSThomas Huth * CPUs only support a subset of these but the filtering 1008fcf5ef2aSThomas Huth * is done when writing LPCR 1009fcf5ef2aSThomas Huth */ 1010fcf5ef2aSThomas Huth switch ((lpcr & LPCR_RMLS) >> LPCR_RMLS_SHIFT) { 1011fcf5ef2aSThomas Huth case 0x8: /* 32MB */ 1012fcf5ef2aSThomas Huth env->rmls = 0x2000000ull; 1013fcf5ef2aSThomas Huth break; 1014fcf5ef2aSThomas Huth case 0x3: /* 64MB */ 1015fcf5ef2aSThomas Huth env->rmls = 0x4000000ull; 1016fcf5ef2aSThomas Huth break; 1017fcf5ef2aSThomas Huth case 0x7: /* 128MB */ 1018fcf5ef2aSThomas Huth env->rmls = 0x8000000ull; 1019fcf5ef2aSThomas Huth break; 1020fcf5ef2aSThomas Huth case 0x4: /* 256MB */ 1021fcf5ef2aSThomas Huth env->rmls = 0x10000000ull; 1022fcf5ef2aSThomas Huth break; 1023fcf5ef2aSThomas Huth case 0x2: /* 1GB */ 1024fcf5ef2aSThomas Huth env->rmls = 0x40000000ull; 1025fcf5ef2aSThomas Huth break; 1026fcf5ef2aSThomas Huth case 0x1: /* 16GB */ 1027fcf5ef2aSThomas Huth env->rmls = 0x400000000ull; 1028fcf5ef2aSThomas Huth break; 1029fcf5ef2aSThomas Huth default: 1030fcf5ef2aSThomas Huth /* What to do here ??? */ 1031fcf5ef2aSThomas Huth env->rmls = 0; 1032fcf5ef2aSThomas Huth } 1033fcf5ef2aSThomas Huth } 1034fcf5ef2aSThomas Huth 10355ad55315SDavid Gibson static void ppc_hash64_update_vrma(PowerPCCPU *cpu) 1036fcf5ef2aSThomas Huth { 10378fe08facSDavid Gibson CPUPPCState *env = &cpu->env; 1038b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps = NULL; 1039fcf5ef2aSThomas Huth target_ulong esid, vsid, lpcr; 1040fcf5ef2aSThomas Huth ppc_slb_t *slb = &env->vrma_slb; 1041fcf5ef2aSThomas Huth uint32_t vrmasd; 1042fcf5ef2aSThomas Huth int i; 1043fcf5ef2aSThomas Huth 1044fcf5ef2aSThomas Huth /* First clear it */ 1045fcf5ef2aSThomas Huth slb->esid = slb->vsid = 0; 1046fcf5ef2aSThomas Huth slb->sps = NULL; 1047fcf5ef2aSThomas Huth 1048fcf5ef2aSThomas Huth /* Is VRMA enabled ? */ 1049fcf5ef2aSThomas Huth lpcr = env->spr[SPR_LPCR]; 1050fcf5ef2aSThomas Huth if (!(lpcr & LPCR_VPM0)) { 1051fcf5ef2aSThomas Huth return; 1052fcf5ef2aSThomas Huth } 1053fcf5ef2aSThomas Huth 1054d75cbae8SDavid Gibson /* 1055d75cbae8SDavid Gibson * Make one up. Mostly ignore the ESID which will not be needed 1056d75cbae8SDavid Gibson * for translation 1057fcf5ef2aSThomas Huth */ 1058fcf5ef2aSThomas Huth vsid = SLB_VSID_VRMA; 1059fcf5ef2aSThomas Huth vrmasd = (lpcr & LPCR_VRMASD) >> LPCR_VRMASD_SHIFT; 1060fcf5ef2aSThomas Huth vsid |= (vrmasd << 4) & (SLB_VSID_L | SLB_VSID_LP); 1061fcf5ef2aSThomas Huth esid = SLB_ESID_V; 1062fcf5ef2aSThomas Huth 1063fcf5ef2aSThomas Huth for (i = 0; i < PPC_PAGE_SIZES_MAX_SZ; i++) { 1064b07c59f7SDavid Gibson const PPCHash64SegmentPageSizes *sps1 = &cpu->hash64_opts->sps[i]; 1065fcf5ef2aSThomas Huth 1066fcf5ef2aSThomas Huth if (!sps1->page_shift) { 1067fcf5ef2aSThomas Huth break; 1068fcf5ef2aSThomas Huth } 1069fcf5ef2aSThomas Huth 1070fcf5ef2aSThomas Huth if ((vsid & SLB_VSID_LLP_MASK) == sps1->slb_enc) { 1071fcf5ef2aSThomas Huth sps = sps1; 1072fcf5ef2aSThomas Huth break; 1073fcf5ef2aSThomas Huth } 1074fcf5ef2aSThomas Huth } 1075fcf5ef2aSThomas Huth 1076fcf5ef2aSThomas Huth if (!sps) { 1077fcf5ef2aSThomas Huth error_report("Bad page size encoding esid 0x"TARGET_FMT_lx 1078fcf5ef2aSThomas Huth " vsid 0x"TARGET_FMT_lx, esid, vsid); 1079fcf5ef2aSThomas Huth return; 1080fcf5ef2aSThomas Huth } 1081fcf5ef2aSThomas Huth 1082fcf5ef2aSThomas Huth slb->vsid = vsid; 1083fcf5ef2aSThomas Huth slb->esid = esid; 1084fcf5ef2aSThomas Huth slb->sps = sps; 1085fcf5ef2aSThomas Huth } 1086fcf5ef2aSThomas Huth 10875ad55315SDavid Gibson void ppc_store_lpcr(PowerPCCPU *cpu, target_ulong val) 1088fcf5ef2aSThomas Huth { 10895ad55315SDavid Gibson CPUPPCState *env = &cpu->env; 1090fcf5ef2aSThomas Huth uint64_t lpcr = 0; 1091fcf5ef2aSThomas Huth 1092fcf5ef2aSThomas Huth /* Filter out bits */ 10930941d728SDavid Gibson switch (env->mmu_model) { 10940941d728SDavid Gibson case POWERPC_MMU_64B: /* 970 */ 1095fcf5ef2aSThomas Huth if (val & 0x40) { 1096fcf5ef2aSThomas Huth lpcr |= LPCR_LPES0; 1097fcf5ef2aSThomas Huth } 1098fcf5ef2aSThomas Huth if (val & 0x8000000000000000ull) { 1099fcf5ef2aSThomas Huth lpcr |= LPCR_LPES1; 1100fcf5ef2aSThomas Huth } 1101fcf5ef2aSThomas Huth if (val & 0x20) { 1102fcf5ef2aSThomas Huth lpcr |= (0x4ull << LPCR_RMLS_SHIFT); 1103fcf5ef2aSThomas Huth } 1104fcf5ef2aSThomas Huth if (val & 0x4000000000000000ull) { 1105fcf5ef2aSThomas Huth lpcr |= (0x2ull << LPCR_RMLS_SHIFT); 1106fcf5ef2aSThomas Huth } 1107fcf5ef2aSThomas Huth if (val & 0x2000000000000000ull) { 1108fcf5ef2aSThomas Huth lpcr |= (0x1ull << LPCR_RMLS_SHIFT); 1109fcf5ef2aSThomas Huth } 1110fcf5ef2aSThomas Huth env->spr[SPR_RMOR] = ((lpcr >> 41) & 0xffffull) << 26; 1111fcf5ef2aSThomas Huth 1112d75cbae8SDavid Gibson /* 1113d75cbae8SDavid Gibson * XXX We could also write LPID from HID4 here 1114fcf5ef2aSThomas Huth * but since we don't tag any translation on it 1115fcf5ef2aSThomas Huth * it doesn't actually matter 1116d75cbae8SDavid Gibson * 1117d75cbae8SDavid Gibson * XXX For proper emulation of 970 we also need 1118fcf5ef2aSThomas Huth * to dig HRMOR out of HID5 1119fcf5ef2aSThomas Huth */ 1120fcf5ef2aSThomas Huth break; 11210941d728SDavid Gibson case POWERPC_MMU_2_03: /* P5p */ 1122fcf5ef2aSThomas Huth lpcr = val & (LPCR_RMLS | LPCR_ILE | 1123fcf5ef2aSThomas Huth LPCR_LPES0 | LPCR_LPES1 | 1124fcf5ef2aSThomas Huth LPCR_RMI | LPCR_HDICE); 1125fcf5ef2aSThomas Huth break; 11260941d728SDavid Gibson case POWERPC_MMU_2_06: /* P7 */ 1127fcf5ef2aSThomas Huth lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_DPFD | 1128fcf5ef2aSThomas Huth LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | 1129fcf5ef2aSThomas Huth LPCR_P7_PECE0 | LPCR_P7_PECE1 | LPCR_P7_PECE2 | 1130fcf5ef2aSThomas Huth LPCR_MER | LPCR_TC | 1131fcf5ef2aSThomas Huth LPCR_LPES0 | LPCR_LPES1 | LPCR_HDICE); 1132fcf5ef2aSThomas Huth break; 11330941d728SDavid Gibson case POWERPC_MMU_2_07: /* P8 */ 1134fcf5ef2aSThomas Huth lpcr = val & (LPCR_VPM0 | LPCR_VPM1 | LPCR_ISL | LPCR_KBV | 1135fcf5ef2aSThomas Huth LPCR_DPFD | LPCR_VRMASD | LPCR_RMLS | LPCR_ILE | 1136fcf5ef2aSThomas Huth LPCR_AIL | LPCR_ONL | LPCR_P8_PECE0 | LPCR_P8_PECE1 | 1137fcf5ef2aSThomas Huth LPCR_P8_PECE2 | LPCR_P8_PECE3 | LPCR_P8_PECE4 | 1138fcf5ef2aSThomas Huth LPCR_MER | LPCR_TC | LPCR_LPES0 | LPCR_HDICE); 1139fcf5ef2aSThomas Huth break; 11400941d728SDavid Gibson case POWERPC_MMU_3_00: /* P9 */ 114118aa49ecSSuraj Jitindar Singh lpcr = val & (LPCR_VPM1 | LPCR_ISL | LPCR_KBV | LPCR_DPFD | 114218aa49ecSSuraj Jitindar Singh (LPCR_PECE_U_MASK & LPCR_HVEE) | LPCR_ILE | LPCR_AIL | 1143a8dafa52SSuraj Jitindar Singh LPCR_UPRT | LPCR_EVIRT | LPCR_ONL | LPCR_HR | LPCR_LD | 114418aa49ecSSuraj Jitindar Singh (LPCR_PECE_L_MASK & (LPCR_PDEE | LPCR_HDEE | LPCR_EEE | 114518aa49ecSSuraj Jitindar Singh LPCR_DEE | LPCR_OEE)) | LPCR_MER | LPCR_GTSE | LPCR_TC | 114618aa49ecSSuraj Jitindar Singh LPCR_HEIC | LPCR_LPES0 | LPCR_HVICE | LPCR_HDICE); 11472b9e0a6bSBenjamin Herrenschmidt /* 11482b9e0a6bSBenjamin Herrenschmidt * If we have a virtual hypervisor, we need to bring back RMLS. It 11492b9e0a6bSBenjamin Herrenschmidt * doesn't exist on an actual P9 but that's all we know how to 11502b9e0a6bSBenjamin Herrenschmidt * configure with softmmu at the moment 11512b9e0a6bSBenjamin Herrenschmidt */ 11522b9e0a6bSBenjamin Herrenschmidt if (cpu->vhyp) { 11532b9e0a6bSBenjamin Herrenschmidt lpcr |= (val & LPCR_RMLS); 11542b9e0a6bSBenjamin Herrenschmidt } 115518aa49ecSSuraj Jitindar Singh break; 1156fcf5ef2aSThomas Huth default: 1157fcf5ef2aSThomas Huth ; 1158fcf5ef2aSThomas Huth } 1159fcf5ef2aSThomas Huth env->spr[SPR_LPCR] = lpcr; 11608fe08facSDavid Gibson ppc_hash64_update_rmls(cpu); 11618fe08facSDavid Gibson ppc_hash64_update_vrma(cpu); 1162fcf5ef2aSThomas Huth } 1163a059471dSDavid Gibson 11645ad55315SDavid Gibson void helper_store_lpcr(CPUPPCState *env, target_ulong val) 11655ad55315SDavid Gibson { 11665ad55315SDavid Gibson PowerPCCPU *cpu = ppc_env_get_cpu(env); 11675ad55315SDavid Gibson 11685ad55315SDavid Gibson ppc_store_lpcr(cpu, val); 11695ad55315SDavid Gibson } 11705ad55315SDavid Gibson 1171a059471dSDavid Gibson void ppc_hash64_init(PowerPCCPU *cpu) 1172a059471dSDavid Gibson { 1173a059471dSDavid Gibson CPUPPCState *env = &cpu->env; 1174a059471dSDavid Gibson PowerPCCPUClass *pcc = POWERPC_CPU_GET_CLASS(cpu); 1175a059471dSDavid Gibson 117621e405f1SDavid Gibson if (!pcc->hash64_opts) { 117721e405f1SDavid Gibson assert(!(env->mmu_model & POWERPC_MMU_64)); 117821e405f1SDavid Gibson return; 117921e405f1SDavid Gibson } 118021e405f1SDavid Gibson 118121e405f1SDavid Gibson cpu->hash64_opts = g_memdup(pcc->hash64_opts, sizeof(*cpu->hash64_opts)); 118221e405f1SDavid Gibson } 118321e405f1SDavid Gibson 118421e405f1SDavid Gibson void ppc_hash64_finalize(PowerPCCPU *cpu) 118521e405f1SDavid Gibson { 118621e405f1SDavid Gibson g_free(cpu->hash64_opts); 118721e405f1SDavid Gibson } 118821e405f1SDavid Gibson 118921e405f1SDavid Gibson const PPCHash64Options ppc_hash64_opts_basic = { 119058969eeeSDavid Gibson .flags = 0, 119167d7d66fSDavid Gibson .slb_size = 64, 1192a059471dSDavid Gibson .sps = { 1193a059471dSDavid Gibson { .page_shift = 12, /* 4K */ 1194a059471dSDavid Gibson .slb_enc = 0, 1195a059471dSDavid Gibson .enc = { { .page_shift = 12, .pte_enc = 0 } } 1196a059471dSDavid Gibson }, 1197a059471dSDavid Gibson { .page_shift = 24, /* 16M */ 1198a059471dSDavid Gibson .slb_enc = 0x100, 1199a059471dSDavid Gibson .enc = { { .page_shift = 24, .pte_enc = 0 } } 1200a059471dSDavid Gibson }, 1201a059471dSDavid Gibson }, 1202a059471dSDavid Gibson }; 1203b07c59f7SDavid Gibson 1204b07c59f7SDavid Gibson const PPCHash64Options ppc_hash64_opts_POWER7 = { 120526cd35b8SDavid Gibson .flags = PPC_HASH64_1TSEG | PPC_HASH64_AMR | PPC_HASH64_CI_LARGEPAGE, 120667d7d66fSDavid Gibson .slb_size = 32, 1207b07c59f7SDavid Gibson .sps = { 1208b07c59f7SDavid Gibson { 1209b07c59f7SDavid Gibson .page_shift = 12, /* 4K */ 1210b07c59f7SDavid Gibson .slb_enc = 0, 1211b07c59f7SDavid Gibson .enc = { { .page_shift = 12, .pte_enc = 0 }, 1212b07c59f7SDavid Gibson { .page_shift = 16, .pte_enc = 0x7 }, 1213b07c59f7SDavid Gibson { .page_shift = 24, .pte_enc = 0x38 }, }, 1214b07c59f7SDavid Gibson }, 1215b07c59f7SDavid Gibson { 1216b07c59f7SDavid Gibson .page_shift = 16, /* 64K */ 1217b07c59f7SDavid Gibson .slb_enc = SLB_VSID_64K, 1218b07c59f7SDavid Gibson .enc = { { .page_shift = 16, .pte_enc = 0x1 }, 1219b07c59f7SDavid Gibson { .page_shift = 24, .pte_enc = 0x8 }, }, 1220b07c59f7SDavid Gibson }, 1221b07c59f7SDavid Gibson { 1222b07c59f7SDavid Gibson .page_shift = 24, /* 16M */ 1223b07c59f7SDavid Gibson .slb_enc = SLB_VSID_16M, 1224b07c59f7SDavid Gibson .enc = { { .page_shift = 24, .pte_enc = 0 }, }, 1225b07c59f7SDavid Gibson }, 1226b07c59f7SDavid Gibson { 1227b07c59f7SDavid Gibson .page_shift = 34, /* 16G */ 1228b07c59f7SDavid Gibson .slb_enc = SLB_VSID_16G, 1229b07c59f7SDavid Gibson .enc = { { .page_shift = 34, .pte_enc = 0x3 }, }, 1230b07c59f7SDavid Gibson }, 1231b07c59f7SDavid Gibson } 1232b07c59f7SDavid Gibson }; 123327f00f0aSDavid Gibson 123427f00f0aSDavid Gibson void ppc_hash64_filter_pagesizes(PowerPCCPU *cpu, 123527f00f0aSDavid Gibson bool (*cb)(void *, uint32_t, uint32_t), 123627f00f0aSDavid Gibson void *opaque) 123727f00f0aSDavid Gibson { 123827f00f0aSDavid Gibson PPCHash64Options *opts = cpu->hash64_opts; 123927f00f0aSDavid Gibson int i; 124027f00f0aSDavid Gibson int n = 0; 124127f00f0aSDavid Gibson bool ci_largepage = false; 124227f00f0aSDavid Gibson 124327f00f0aSDavid Gibson assert(opts); 124427f00f0aSDavid Gibson 124527f00f0aSDavid Gibson n = 0; 124627f00f0aSDavid Gibson for (i = 0; i < ARRAY_SIZE(opts->sps); i++) { 124727f00f0aSDavid Gibson PPCHash64SegmentPageSizes *sps = &opts->sps[i]; 124827f00f0aSDavid Gibson int j; 124927f00f0aSDavid Gibson int m = 0; 125027f00f0aSDavid Gibson 125127f00f0aSDavid Gibson assert(n <= i); 125227f00f0aSDavid Gibson 125327f00f0aSDavid Gibson if (!sps->page_shift) { 125427f00f0aSDavid Gibson break; 125527f00f0aSDavid Gibson } 125627f00f0aSDavid Gibson 125727f00f0aSDavid Gibson for (j = 0; j < ARRAY_SIZE(sps->enc); j++) { 125827f00f0aSDavid Gibson PPCHash64PageSize *ps = &sps->enc[j]; 125927f00f0aSDavid Gibson 126027f00f0aSDavid Gibson assert(m <= j); 126127f00f0aSDavid Gibson if (!ps->page_shift) { 126227f00f0aSDavid Gibson break; 126327f00f0aSDavid Gibson } 126427f00f0aSDavid Gibson 126527f00f0aSDavid Gibson if (cb(opaque, sps->page_shift, ps->page_shift)) { 126627f00f0aSDavid Gibson if (ps->page_shift >= 16) { 126727f00f0aSDavid Gibson ci_largepage = true; 126827f00f0aSDavid Gibson } 126927f00f0aSDavid Gibson sps->enc[m++] = *ps; 127027f00f0aSDavid Gibson } 127127f00f0aSDavid Gibson } 127227f00f0aSDavid Gibson 127327f00f0aSDavid Gibson /* Clear rest of the row */ 127427f00f0aSDavid Gibson for (j = m; j < ARRAY_SIZE(sps->enc); j++) { 127527f00f0aSDavid Gibson memset(&sps->enc[j], 0, sizeof(sps->enc[j])); 127627f00f0aSDavid Gibson } 127727f00f0aSDavid Gibson 127827f00f0aSDavid Gibson if (m) { 127927f00f0aSDavid Gibson n++; 128027f00f0aSDavid Gibson } 128127f00f0aSDavid Gibson } 128227f00f0aSDavid Gibson 128327f00f0aSDavid Gibson /* Clear the rest of the table */ 128427f00f0aSDavid Gibson for (i = n; i < ARRAY_SIZE(opts->sps); i++) { 128527f00f0aSDavid Gibson memset(&opts->sps[i], 0, sizeof(opts->sps[i])); 128627f00f0aSDavid Gibson } 128727f00f0aSDavid Gibson 128827f00f0aSDavid Gibson if (!ci_largepage) { 128927f00f0aSDavid Gibson opts->flags &= ~PPC_HASH64_CI_LARGEPAGE; 129027f00f0aSDavid Gibson } 129127f00f0aSDavid Gibson } 1292