14acb54baSEdgar E. Iglesias /* 24acb54baSEdgar E. Iglesias * MicroBlaze helper routines. 34acb54baSEdgar E. Iglesias * 44acb54baSEdgar E. Iglesias * Copyright (c) 2009 Edgar E. Iglesias <edgar.iglesias@gmail.com> 5dadc1064SPeter A. G. Crosthwaite * Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd. 64acb54baSEdgar E. Iglesias * 74acb54baSEdgar E. Iglesias * This library is free software; you can redistribute it and/or 84acb54baSEdgar E. Iglesias * modify it under the terms of the GNU Lesser General Public 94acb54baSEdgar E. Iglesias * License as published by the Free Software Foundation; either 10ee452036SChetan Pant * version 2.1 of the License, or (at your option) any later version. 114acb54baSEdgar E. Iglesias * 124acb54baSEdgar E. Iglesias * This library is distributed in the hope that it will be useful, 134acb54baSEdgar E. Iglesias * but WITHOUT ANY WARRANTY; without even the implied warranty of 144acb54baSEdgar E. Iglesias * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 154acb54baSEdgar E. Iglesias * Lesser General Public License for more details. 164acb54baSEdgar E. Iglesias * 174acb54baSEdgar E. Iglesias * You should have received a copy of the GNU Lesser General Public 188167ee88SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>. 194acb54baSEdgar E. Iglesias */ 204acb54baSEdgar E. Iglesias 218fd9deceSPeter Maydell #include "qemu/osdep.h" 224acb54baSEdgar E. Iglesias #include "cpu.h" 232809e2d6SPhilippe Mathieu-Daudé #include "exec/cputlb.h" 24efe25c26SRichard Henderson #include "accel/tcg/cpu-mmu-index.h" 2574781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h" 269c2ff9cdSPierrick Bouvier #include "exec/target_page.h" 271de7afc9SPaolo Bonzini #include "qemu/host-utils.h" 28508127e2SPaolo Bonzini #include "exec/log.h" 294acb54baSEdgar E. Iglesias 30*67f2d507SRichard Henderson 31*67f2d507SRichard Henderson G_NORETURN 32*67f2d507SRichard Henderson static void mb_unaligned_access_internal(CPUState *cs, uint64_t addr, 33*67f2d507SRichard Henderson uintptr_t retaddr) 34*67f2d507SRichard Henderson { 35*67f2d507SRichard Henderson CPUMBState *env = cpu_env(cs); 36*67f2d507SRichard Henderson uint32_t esr, iflags; 37*67f2d507SRichard Henderson 38*67f2d507SRichard Henderson /* Recover the pc and iflags from the corresponding insn_start. */ 39*67f2d507SRichard Henderson cpu_restore_state(cs, retaddr); 40*67f2d507SRichard Henderson iflags = env->iflags; 41*67f2d507SRichard Henderson 42*67f2d507SRichard Henderson qemu_log_mask(CPU_LOG_INT, 43*67f2d507SRichard Henderson "Unaligned access addr=0x%" PRIx64 " pc=%x iflags=%x\n", 44*67f2d507SRichard Henderson addr, env->pc, iflags); 45*67f2d507SRichard Henderson 46*67f2d507SRichard Henderson esr = ESR_EC_UNALIGNED_DATA; 47*67f2d507SRichard Henderson if (likely(iflags & ESR_ESS_FLAG)) { 48*67f2d507SRichard Henderson esr |= iflags & ESR_ESS_MASK; 49*67f2d507SRichard Henderson } else { 50*67f2d507SRichard Henderson qemu_log_mask(LOG_UNIMP, "Unaligned access without ESR_ESS_FLAG\n"); 51*67f2d507SRichard Henderson } 52*67f2d507SRichard Henderson 53*67f2d507SRichard Henderson env->ear = addr; 54*67f2d507SRichard Henderson env->esr = esr; 55*67f2d507SRichard Henderson cs->exception_index = EXCP_HW_EXCP; 56*67f2d507SRichard Henderson cpu_loop_exit(cs); 57*67f2d507SRichard Henderson } 58*67f2d507SRichard Henderson 59*67f2d507SRichard Henderson void mb_cpu_do_unaligned_access(CPUState *cs, vaddr addr, 60*67f2d507SRichard Henderson MMUAccessType access_type, 61*67f2d507SRichard Henderson int mmu_idx, uintptr_t retaddr) 62*67f2d507SRichard Henderson { 63*67f2d507SRichard Henderson mb_unaligned_access_internal(cs, addr, retaddr); 64*67f2d507SRichard Henderson } 65*67f2d507SRichard Henderson 66fd297732SRichard Henderson #ifndef CONFIG_USER_ONLY 6743a9ede1SJoe Komlodi static bool mb_cpu_access_is_secure(MicroBlazeCPU *cpu, 6843a9ede1SJoe Komlodi MMUAccessType access_type) 6943a9ede1SJoe Komlodi { 7043a9ede1SJoe Komlodi if (access_type == MMU_INST_FETCH) { 7143a9ede1SJoe Komlodi return !cpu->ns_axi_ip; 7243a9ede1SJoe Komlodi } else { 7343a9ede1SJoe Komlodi return !cpu->ns_axi_dp; 7443a9ede1SJoe Komlodi } 7543a9ede1SJoe Komlodi } 7643a9ede1SJoe Komlodi 77f429d607SRichard Henderson bool mb_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 78f429d607SRichard Henderson MMUAccessType access_type, int mmu_idx, 79f429d607SRichard Henderson bool probe, uintptr_t retaddr) 804acb54baSEdgar E. Iglesias { 817510454eSAndreas Färber MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 827510454eSAndreas Färber CPUMBState *env = &cpu->env; 838ce97bc1SRichard Henderson MicroBlazeMMULookup lu; 844acb54baSEdgar E. Iglesias unsigned int hit; 854acb54baSEdgar E. Iglesias int prot; 8643a9ede1SJoe Komlodi MemTxAttrs attrs = {}; 8743a9ede1SJoe Komlodi 8843a9ede1SJoe Komlodi attrs.secure = mb_cpu_access_is_secure(cpu, access_type); 894acb54baSEdgar E. Iglesias 90f429d607SRichard Henderson if (mmu_idx == MMU_NOMMU_IDX) { 91f429d607SRichard Henderson /* MMU disabled or not available. */ 92f429d607SRichard Henderson address &= TARGET_PAGE_MASK; 9386b7c551SBALATON Zoltan prot = PAGE_RWX; 9443a9ede1SJoe Komlodi tlb_set_page_with_attrs(cs, address, address, attrs, prot, mmu_idx, 9543a9ede1SJoe Komlodi TARGET_PAGE_SIZE); 96f429d607SRichard Henderson return true; 97f429d607SRichard Henderson } 984acb54baSEdgar E. Iglesias 99de73ee1aSRichard Henderson hit = mmu_translate(cpu, &lu, address, access_type, mmu_idx); 100f429d607SRichard Henderson if (likely(hit)) { 101f429d607SRichard Henderson uint32_t vaddr = address & TARGET_PAGE_MASK; 102f429d607SRichard Henderson uint32_t paddr = lu.paddr + vaddr - lu.vaddr; 1034acb54baSEdgar E. Iglesias 104339aaf5bSAntony Pavlov qemu_log_mask(CPU_LOG_MMU, "MMU map mmu=%d v=%x p=%x prot=%x\n", 105339aaf5bSAntony Pavlov mmu_idx, vaddr, paddr, lu.prot); 10643a9ede1SJoe Komlodi tlb_set_page_with_attrs(cs, vaddr, paddr, attrs, lu.prot, mmu_idx, 10743a9ede1SJoe Komlodi TARGET_PAGE_SIZE); 108f429d607SRichard Henderson return true; 109f429d607SRichard Henderson } 110f429d607SRichard Henderson 111f429d607SRichard Henderson /* TLB miss. */ 112f429d607SRichard Henderson if (probe) { 113f429d607SRichard Henderson return false; 114f429d607SRichard Henderson } 115f429d607SRichard Henderson 116339aaf5bSAntony Pavlov qemu_log_mask(CPU_LOG_MMU, "mmu=%d miss v=%" VADDR_PRIx "\n", 117339aaf5bSAntony Pavlov mmu_idx, address); 1184acb54baSEdgar E. Iglesias 119b2e80a3cSRichard Henderson env->ear = address; 1204acb54baSEdgar E. Iglesias switch (lu.err) { 1214acb54baSEdgar E. Iglesias case ERR_PROT: 12278e9caf2SRichard Henderson env->esr = access_type == MMU_INST_FETCH ? 17 : 16; 12378e9caf2SRichard Henderson env->esr |= (access_type == MMU_DATA_STORE) << 10; 1244acb54baSEdgar E. Iglesias break; 1254acb54baSEdgar E. Iglesias case ERR_MISS: 12678e9caf2SRichard Henderson env->esr = access_type == MMU_INST_FETCH ? 19 : 18; 12778e9caf2SRichard Henderson env->esr |= (access_type == MMU_DATA_STORE) << 10; 1284acb54baSEdgar E. Iglesias break; 1294acb54baSEdgar E. Iglesias default: 1304acb54baSEdgar E. Iglesias abort(); 1314acb54baSEdgar E. Iglesias } 1324acb54baSEdgar E. Iglesias 13327103424SAndreas Färber if (cs->exception_index == EXCP_MMU) { 134a47dddd7SAndreas Färber cpu_abort(cs, "recursive faults\n"); 1354acb54baSEdgar E. Iglesias } 1364acb54baSEdgar E. Iglesias 1374acb54baSEdgar E. Iglesias /* TLB miss. */ 13827103424SAndreas Färber cs->exception_index = EXCP_MMU; 139f429d607SRichard Henderson cpu_loop_exit_restore(cs, retaddr); 1404acb54baSEdgar E. Iglesias } 141f429d607SRichard Henderson 14297a8ea5aSAndreas Färber void mb_cpu_do_interrupt(CPUState *cs) 1434acb54baSEdgar E. Iglesias { 14497a8ea5aSAndreas Färber MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 14597a8ea5aSAndreas Färber CPUMBState *env = &cpu->env; 1461074c0fbSRichard Henderson uint32_t t, msr = mb_cpu_read_msr(env); 147a9f61458SRichard Henderson bool set_esr; 1484acb54baSEdgar E. Iglesias 1495225d669SStefan Weil /* IMM flag cannot propagate across a branch and into the dslot. */ 15088e74b61SRichard Henderson assert((env->iflags & (D_FLAG | IMM_FLAG)) != (D_FLAG | IMM_FLAG)); 15188e74b61SRichard Henderson /* BIMM flag cannot be set without D_FLAG. */ 15288e74b61SRichard Henderson assert((env->iflags & (D_FLAG | BIMM_FLAG)) != BIMM_FLAG); 15388e74b61SRichard Henderson /* RTI flags are private to translate. */ 1544acb54baSEdgar E. Iglesias assert(!(env->iflags & (DRTI_FLAG | DRTE_FLAG | DRTB_FLAG))); 155a9f61458SRichard Henderson 15627103424SAndreas Färber switch (cs->exception_index) { 157cedb936bSEdgar E. Iglesias case EXCP_HW_EXCP: 158a4bcfc33SRichard Henderson if (!(cpu->cfg.pvr_regs[0] & PVR0_USE_EXC_MASK)) { 159a9f61458SRichard Henderson qemu_log_mask(LOG_GUEST_ERROR, 160a9f61458SRichard Henderson "Exception raised on system without exceptions!\n"); 161cedb936bSEdgar E. Iglesias return; 162cedb936bSEdgar E. Iglesias } 163cedb936bSEdgar E. Iglesias 164a9f61458SRichard Henderson qemu_log_mask(CPU_LOG_INT, 165a9f61458SRichard Henderson "INT: HWE at pc=%08x msr=%08x iflags=%x\n", 166a9f61458SRichard Henderson env->pc, msr, env->iflags); 167cedb936bSEdgar E. Iglesias 168cedb936bSEdgar E. Iglesias /* Exception breaks branch + dslot sequence? */ 169a9f61458SRichard Henderson set_esr = true; 170a9f61458SRichard Henderson env->esr &= ~D_FLAG; 171cedb936bSEdgar E. Iglesias if (env->iflags & D_FLAG) { 172a9f61458SRichard Henderson env->esr |= D_FLAG; 1736fbf78f2SRichard Henderson env->btr = env->btarget; 174cedb936bSEdgar E. Iglesias } 175cedb936bSEdgar E. Iglesias 176cedb936bSEdgar E. Iglesias /* Exception in progress. */ 1771074c0fbSRichard Henderson msr |= MSR_EIP; 178a9f61458SRichard Henderson env->regs[17] = env->pc + 4; 17976e8187dSRichard Henderson env->pc = cpu->cfg.base_vectors + 0x20; 180cedb936bSEdgar E. Iglesias break; 181cedb936bSEdgar E. Iglesias 1824acb54baSEdgar E. Iglesias case EXCP_MMU: 183e3f8d192SRichard Henderson qemu_log_mask(CPU_LOG_INT, 184a9f61458SRichard Henderson "INT: MMU at pc=%08x msr=%08x " 185a9f61458SRichard Henderson "ear=%" PRIx64 " iflags=%x\n", 186a9f61458SRichard Henderson env->pc, msr, env->ear, env->iflags); 187e3f8d192SRichard Henderson 1884acb54baSEdgar E. Iglesias /* Exception breaks branch + dslot sequence? */ 189a9f61458SRichard Henderson set_esr = true; 190a9f61458SRichard Henderson env->esr &= ~D_FLAG; 1914acb54baSEdgar E. Iglesias if (env->iflags & D_FLAG) { 192a9f61458SRichard Henderson env->esr |= D_FLAG; 1936fbf78f2SRichard Henderson env->btr = env->btarget; 1944acb54baSEdgar E. Iglesias /* Reexecute the branch. */ 195a9f61458SRichard Henderson env->regs[17] = env->pc - (env->iflags & BIMM_FLAG ? 8 : 4); 1964acb54baSEdgar E. Iglesias } else if (env->iflags & IMM_FLAG) { 197a9f61458SRichard Henderson /* Reexecute the imm. */ 198a9f61458SRichard Henderson env->regs[17] = env->pc - 4; 199a9f61458SRichard Henderson } else { 200a9f61458SRichard Henderson env->regs[17] = env->pc; 2014acb54baSEdgar E. Iglesias } 2024acb54baSEdgar E. Iglesias 2034acb54baSEdgar E. Iglesias /* Exception in progress. */ 2041074c0fbSRichard Henderson msr |= MSR_EIP; 20576e8187dSRichard Henderson env->pc = cpu->cfg.base_vectors + 0x20; 2064acb54baSEdgar E. Iglesias break; 2074acb54baSEdgar E. Iglesias 2084acb54baSEdgar E. Iglesias case EXCP_IRQ: 2091074c0fbSRichard Henderson assert(!(msr & (MSR_EIP | MSR_BIP))); 2101074c0fbSRichard Henderson assert(msr & MSR_IE); 21188e74b61SRichard Henderson assert(!(env->iflags & (D_FLAG | IMM_FLAG))); 2124acb54baSEdgar E. Iglesias 2134acb54baSEdgar E. Iglesias qemu_log_mask(CPU_LOG_INT, 214a9f61458SRichard Henderson "INT: DEV at pc=%08x msr=%08x iflags=%x\n", 215a9f61458SRichard Henderson env->pc, msr, env->iflags); 216a9f61458SRichard Henderson set_esr = false; 2174acb54baSEdgar E. Iglesias 218a9f61458SRichard Henderson /* Disable interrupts. */ 219a9f61458SRichard Henderson msr &= ~MSR_IE; 22076e8187dSRichard Henderson env->regs[14] = env->pc; 22176e8187dSRichard Henderson env->pc = cpu->cfg.base_vectors + 0x10; 2224acb54baSEdgar E. Iglesias break; 2234acb54baSEdgar E. Iglesias 2244acb54baSEdgar E. Iglesias case EXCP_HW_BREAK: 22588e74b61SRichard Henderson assert(!(env->iflags & (D_FLAG | IMM_FLAG))); 22688e74b61SRichard Henderson 2274acb54baSEdgar E. Iglesias qemu_log_mask(CPU_LOG_INT, 228a9f61458SRichard Henderson "INT: BRK at pc=%08x msr=%08x iflags=%x\n", 229a9f61458SRichard Henderson env->pc, msr, env->iflags); 230a9f61458SRichard Henderson set_esr = false; 231a9f61458SRichard Henderson 232a9f61458SRichard Henderson /* Break in progress. */ 2331074c0fbSRichard Henderson msr |= MSR_BIP; 23476e8187dSRichard Henderson env->regs[16] = env->pc; 23576e8187dSRichard Henderson env->pc = cpu->cfg.base_vectors + 0x18; 2364acb54baSEdgar E. Iglesias break; 237a9f61458SRichard Henderson 2384acb54baSEdgar E. Iglesias default: 239a9f61458SRichard Henderson cpu_abort(cs, "unhandled exception type=%d\n", cs->exception_index); 240a9f61458SRichard Henderson /* not reached */ 241a9f61458SRichard Henderson } 242a9f61458SRichard Henderson 243a9f61458SRichard Henderson /* Save previous mode, disable mmu, disable user-mode. */ 244a9f61458SRichard Henderson t = (msr & (MSR_VM | MSR_UM)) << 1; 245a9f61458SRichard Henderson msr &= ~(MSR_VMS | MSR_UMS | MSR_VM | MSR_UM); 246a9f61458SRichard Henderson msr |= t; 247a9f61458SRichard Henderson mb_cpu_write_msr(env, msr); 248a9f61458SRichard Henderson 249a9f61458SRichard Henderson env->res_addr = RES_ADDR_NONE; 250a9f61458SRichard Henderson env->iflags = 0; 251a9f61458SRichard Henderson 252a9f61458SRichard Henderson if (!set_esr) { 253a9f61458SRichard Henderson qemu_log_mask(CPU_LOG_INT, 254a9f61458SRichard Henderson " to pc=%08x msr=%08x\n", env->pc, msr); 255a9f61458SRichard Henderson } else if (env->esr & D_FLAG) { 256a9f61458SRichard Henderson qemu_log_mask(CPU_LOG_INT, 257a9f61458SRichard Henderson " to pc=%08x msr=%08x esr=%04x btr=%08x\n", 258a9f61458SRichard Henderson env->pc, msr, env->esr, env->btr); 259a9f61458SRichard Henderson } else { 260a9f61458SRichard Henderson qemu_log_mask(CPU_LOG_INT, 261a9f61458SRichard Henderson " to pc=%08x msr=%08x esr=%04x\n", 262a9f61458SRichard Henderson env->pc, msr, env->esr); 2634acb54baSEdgar E. Iglesias } 2644acb54baSEdgar E. Iglesias } 2654acb54baSEdgar E. Iglesias 26643a9ede1SJoe Komlodi hwaddr mb_cpu_get_phys_page_attrs_debug(CPUState *cs, vaddr addr, 26743a9ede1SJoe Komlodi MemTxAttrs *attrs) 2684acb54baSEdgar E. Iglesias { 26900b941e5SAndreas Färber MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 2704acb54baSEdgar E. Iglesias target_ulong vaddr, paddr = 0; 2718ce97bc1SRichard Henderson MicroBlazeMMULookup lu; 2723b916140SRichard Henderson int mmu_idx = cpu_mmu_index(cs, false); 2734acb54baSEdgar E. Iglesias unsigned int hit; 2744acb54baSEdgar E. Iglesias 27543a9ede1SJoe Komlodi /* Caller doesn't initialize */ 27643a9ede1SJoe Komlodi *attrs = (MemTxAttrs) {}; 27743a9ede1SJoe Komlodi attrs->secure = mb_cpu_access_is_secure(cpu, MMU_DATA_LOAD); 27843a9ede1SJoe Komlodi 279d10367e0SEdgar E. Iglesias if (mmu_idx != MMU_NOMMU_IDX) { 280de73ee1aSRichard Henderson hit = mmu_translate(cpu, &lu, addr, 0, 0); 2814acb54baSEdgar E. Iglesias if (hit) { 2824acb54baSEdgar E. Iglesias vaddr = addr & TARGET_PAGE_MASK; 2834acb54baSEdgar E. Iglesias paddr = lu.paddr + vaddr - lu.vaddr; 2844acb54baSEdgar E. Iglesias } else 2854acb54baSEdgar E. Iglesias paddr = 0; /* ???. */ 2864acb54baSEdgar E. Iglesias } else 2874acb54baSEdgar E. Iglesias paddr = addr & TARGET_PAGE_MASK; 2884acb54baSEdgar E. Iglesias 2894acb54baSEdgar E. Iglesias return paddr; 2904acb54baSEdgar E. Iglesias } 29129cd33d3SRichard Henderson 29229cd33d3SRichard Henderson bool mb_cpu_exec_interrupt(CPUState *cs, int interrupt_request) 29329cd33d3SRichard Henderson { 294da953643SPhilippe Mathieu-Daudé CPUMBState *env = cpu_env(cs); 29529cd33d3SRichard Henderson 29629cd33d3SRichard Henderson if ((interrupt_request & CPU_INTERRUPT_HARD) 2972e5282caSRichard Henderson && (env->msr & MSR_IE) 2982e5282caSRichard Henderson && !(env->msr & (MSR_EIP | MSR_BIP)) 29929cd33d3SRichard Henderson && !(env->iflags & (D_FLAG | IMM_FLAG))) { 30029cd33d3SRichard Henderson cs->exception_index = EXCP_IRQ; 30129cd33d3SRichard Henderson mb_cpu_do_interrupt(cs); 30229cd33d3SRichard Henderson return true; 30329cd33d3SRichard Henderson } 30429cd33d3SRichard Henderson return false; 30529cd33d3SRichard Henderson } 306ab0c8d0fSRichard Henderson 307eb3ef313SPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */ 308