1e21b551cSPhilippe Mathieu-Daudé /* 2e21b551cSPhilippe Mathieu-Daudé * ARM TLB (Translation lookaside buffer) helpers. 3e21b551cSPhilippe Mathieu-Daudé * 4e21b551cSPhilippe Mathieu-Daudé * This code is licensed under the GNU GPL v2 or later. 5e21b551cSPhilippe Mathieu-Daudé * 6e21b551cSPhilippe Mathieu-Daudé * SPDX-License-Identifier: GPL-2.0-or-later 7e21b551cSPhilippe Mathieu-Daudé */ 8e21b551cSPhilippe Mathieu-Daudé #include "qemu/osdep.h" 9e21b551cSPhilippe Mathieu-Daudé #include "cpu.h" 10e21b551cSPhilippe Mathieu-Daudé #include "internals.h" 11e21b551cSPhilippe Mathieu-Daudé #include "exec/exec-all.h" 12ee03027aSRichard Henderson #include "exec/helper-proto.h" 13e21b551cSPhilippe Mathieu-Daudé 14cd6bc4d5SRichard Henderson 15cd6bc4d5SRichard Henderson /* 16cd6bc4d5SRichard Henderson * Returns true if the stage 1 translation regime is using LPAE format page 17cd6bc4d5SRichard Henderson * tables. Used when raising alignment exceptions, whose FSR changes depending 18cd6bc4d5SRichard Henderson * on whether the long or short descriptor format is in use. 19cd6bc4d5SRichard Henderson */ 20cd6bc4d5SRichard Henderson bool arm_s1_regime_using_lpae_format(CPUARMState *env, ARMMMUIdx mmu_idx) 21cd6bc4d5SRichard Henderson { 22cd6bc4d5SRichard Henderson mmu_idx = stage_1_mmu_idx(mmu_idx); 23cd6bc4d5SRichard Henderson return regime_using_lpae_format(env, mmu_idx); 24cd6bc4d5SRichard Henderson } 25cd6bc4d5SRichard Henderson 26e21b551cSPhilippe Mathieu-Daudé static inline uint32_t merge_syn_data_abort(uint32_t template_syn, 27e61c4d87SPeter Maydell ARMMMUFaultInfo *fi, 28e21b551cSPhilippe Mathieu-Daudé unsigned int target_el, 29e61c4d87SPeter Maydell bool same_el, bool is_write, 30e21b551cSPhilippe Mathieu-Daudé int fsc) 31e21b551cSPhilippe Mathieu-Daudé { 32e21b551cSPhilippe Mathieu-Daudé uint32_t syn; 33e21b551cSPhilippe Mathieu-Daudé 34e21b551cSPhilippe Mathieu-Daudé /* 35a3856808SPeter Maydell * ISV is only set for stage-2 data aborts routed to EL2 and 36a3856808SPeter Maydell * never for stage-1 page table walks faulting on stage 2 37a3856808SPeter Maydell * or for stage-1 faults. 38e21b551cSPhilippe Mathieu-Daudé * 39e21b551cSPhilippe Mathieu-Daudé * Furthermore, ISV is only set for certain kinds of load/stores. 40e21b551cSPhilippe Mathieu-Daudé * If the template syndrome does not have ISV set, we should leave 41e21b551cSPhilippe Mathieu-Daudé * it cleared. 42e21b551cSPhilippe Mathieu-Daudé * 43e21b551cSPhilippe Mathieu-Daudé * See ARMv8 specs, D7-1974: 44e21b551cSPhilippe Mathieu-Daudé * ISS encoding for an exception from a Data Abort, the 45e21b551cSPhilippe Mathieu-Daudé * ISV field. 46a3856808SPeter Maydell * 47a3856808SPeter Maydell * TODO: FEAT_LS64/FEAT_LS64_V/FEAT_SL64_ACCDATA: Translation, 48a3856808SPeter Maydell * Access Flag, and Permission faults caused by LD64B, ST64B, 49a3856808SPeter Maydell * ST64BV, or ST64BV0 insns report syndrome info even for stage-1 50a3856808SPeter Maydell * faults and regardless of the target EL. 51e21b551cSPhilippe Mathieu-Daudé */ 52a3856808SPeter Maydell if (!(template_syn & ARM_EL_ISV) || target_el != 2 53a3856808SPeter Maydell || fi->s1ptw || !fi->stage2) { 54e24fd076SDongjiu Geng syn = syn_data_abort_no_iss(same_el, 0, 55e61c4d87SPeter Maydell fi->ea, 0, fi->s1ptw, is_write, fsc); 56e21b551cSPhilippe Mathieu-Daudé } else { 57e21b551cSPhilippe Mathieu-Daudé /* 58e21b551cSPhilippe Mathieu-Daudé * Fields: IL, ISV, SAS, SSE, SRT, SF and AR come from the template 59e21b551cSPhilippe Mathieu-Daudé * syndrome created at translation time. 60e21b551cSPhilippe Mathieu-Daudé * Now we create the runtime syndrome with the remaining fields. 61e21b551cSPhilippe Mathieu-Daudé */ 62e21b551cSPhilippe Mathieu-Daudé syn = syn_data_abort_with_iss(same_el, 63e21b551cSPhilippe Mathieu-Daudé 0, 0, 0, 0, 0, 64e61c4d87SPeter Maydell fi->ea, 0, fi->s1ptw, is_write, fsc, 6530d54483SJeff Kubascik true); 66e21b551cSPhilippe Mathieu-Daudé /* Merge the runtime syndrome with the template syndrome. */ 67e21b551cSPhilippe Mathieu-Daudé syn |= template_syn; 68e21b551cSPhilippe Mathieu-Daudé } 69e21b551cSPhilippe Mathieu-Daudé return syn; 70e21b551cSPhilippe Mathieu-Daudé } 71e21b551cSPhilippe Mathieu-Daudé 72936a6b86SRichard Henderson static uint32_t compute_fsr_fsc(CPUARMState *env, ARMMMUFaultInfo *fi, 73936a6b86SRichard Henderson int target_el, int mmu_idx, uint32_t *ret_fsc) 74e21b551cSPhilippe Mathieu-Daudé { 75e21b551cSPhilippe Mathieu-Daudé ARMMMUIdx arm_mmu_idx = core_to_arm_mmu_idx(env, mmu_idx); 76936a6b86SRichard Henderson uint32_t fsr, fsc; 77e21b551cSPhilippe Mathieu-Daudé 78*d7fe699bSPeter Maydell /* 79*d7fe699bSPeter Maydell * For M-profile there is no guest-facing FSR. We compute a 80*d7fe699bSPeter Maydell * short-form value for env->exception.fsr which we will then 81*d7fe699bSPeter Maydell * examine in arm_v7m_cpu_do_interrupt(). In theory we could 82*d7fe699bSPeter Maydell * use the LPAE format instead as long as both bits of code agree 83*d7fe699bSPeter Maydell * (and arm_fi_to_lfsc() handled the M-profile specific 84*d7fe699bSPeter Maydell * ARMFault_QEMU_NSCExec and ARMFault_QEMU_SFault cases). 85*d7fe699bSPeter Maydell */ 86*d7fe699bSPeter Maydell if (!arm_feature(env, ARM_FEATURE_M) && 87*d7fe699bSPeter Maydell (target_el == 2 || arm_el_is_aa64(env, target_el) || 88*d7fe699bSPeter Maydell arm_s1_regime_using_lpae_format(env, arm_mmu_idx))) { 89e21b551cSPhilippe Mathieu-Daudé /* 90e21b551cSPhilippe Mathieu-Daudé * LPAE format fault status register : bottom 6 bits are 91e21b551cSPhilippe Mathieu-Daudé * status code in the same form as needed for syndrome 92e21b551cSPhilippe Mathieu-Daudé */ 93e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_lfsc(fi); 94e21b551cSPhilippe Mathieu-Daudé fsc = extract32(fsr, 0, 6); 95e21b551cSPhilippe Mathieu-Daudé } else { 96e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_sfsc(fi); 97e21b551cSPhilippe Mathieu-Daudé /* 98e21b551cSPhilippe Mathieu-Daudé * Short format FSR : this fault will never actually be reported 99e21b551cSPhilippe Mathieu-Daudé * to an EL that uses a syndrome register. Use a (currently) 100e21b551cSPhilippe Mathieu-Daudé * reserved FSR code in case the constructed syndrome does leak 101e21b551cSPhilippe Mathieu-Daudé * into the guest somehow. 102e21b551cSPhilippe Mathieu-Daudé */ 103e21b551cSPhilippe Mathieu-Daudé fsc = 0x3f; 104e21b551cSPhilippe Mathieu-Daudé } 105e21b551cSPhilippe Mathieu-Daudé 106936a6b86SRichard Henderson *ret_fsc = fsc; 107936a6b86SRichard Henderson return fsr; 108936a6b86SRichard Henderson } 109936a6b86SRichard Henderson 1108905770bSMarc-André Lureau static G_NORETURN 1118905770bSMarc-André Lureau void arm_deliver_fault(ARMCPU *cpu, vaddr addr, 112936a6b86SRichard Henderson MMUAccessType access_type, 113936a6b86SRichard Henderson int mmu_idx, ARMMMUFaultInfo *fi) 114936a6b86SRichard Henderson { 115936a6b86SRichard Henderson CPUARMState *env = &cpu->env; 116936a6b86SRichard Henderson int target_el; 117936a6b86SRichard Henderson bool same_el; 118936a6b86SRichard Henderson uint32_t syn, exc, fsr, fsc; 119936a6b86SRichard Henderson 120936a6b86SRichard Henderson target_el = exception_target_el(env); 121936a6b86SRichard Henderson if (fi->stage2) { 122936a6b86SRichard Henderson target_el = 2; 123936a6b86SRichard Henderson env->cp15.hpfar_el2 = extract64(fi->s2addr, 12, 47) << 4; 124936a6b86SRichard Henderson if (arm_is_secure_below_el3(env) && fi->s1ns) { 125936a6b86SRichard Henderson env->cp15.hpfar_el2 |= HPFAR_NS; 126936a6b86SRichard Henderson } 127936a6b86SRichard Henderson } 128936a6b86SRichard Henderson same_el = (arm_current_el(env) == target_el); 129936a6b86SRichard Henderson 130936a6b86SRichard Henderson fsr = compute_fsr_fsc(env, fi, target_el, mmu_idx, &fsc); 131936a6b86SRichard Henderson 132e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_INST_FETCH) { 133e21b551cSPhilippe Mathieu-Daudé syn = syn_insn_abort(same_el, fi->ea, fi->s1ptw, fsc); 134e21b551cSPhilippe Mathieu-Daudé exc = EXCP_PREFETCH_ABORT; 135e21b551cSPhilippe Mathieu-Daudé } else { 136e61c4d87SPeter Maydell syn = merge_syn_data_abort(env->exception.syndrome, fi, target_el, 137e61c4d87SPeter Maydell same_el, access_type == MMU_DATA_STORE, 138e21b551cSPhilippe Mathieu-Daudé fsc); 139e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_DATA_STORE 140e21b551cSPhilippe Mathieu-Daudé && arm_feature(env, ARM_FEATURE_V6)) { 141e21b551cSPhilippe Mathieu-Daudé fsr |= (1 << 11); 142e21b551cSPhilippe Mathieu-Daudé } 143e21b551cSPhilippe Mathieu-Daudé exc = EXCP_DATA_ABORT; 144e21b551cSPhilippe Mathieu-Daudé } 145e21b551cSPhilippe Mathieu-Daudé 146e21b551cSPhilippe Mathieu-Daudé env->exception.vaddress = addr; 147e21b551cSPhilippe Mathieu-Daudé env->exception.fsr = fsr; 148e21b551cSPhilippe Mathieu-Daudé raise_exception(env, exc, syn, target_el); 149e21b551cSPhilippe Mathieu-Daudé } 150e21b551cSPhilippe Mathieu-Daudé 151e21b551cSPhilippe Mathieu-Daudé /* Raise a data fault alignment exception for the specified virtual address */ 152e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 153e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 154e21b551cSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 155e21b551cSPhilippe Mathieu-Daudé { 156e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 157e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 158e21b551cSPhilippe Mathieu-Daudé 159e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 1603d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 161e21b551cSPhilippe Mathieu-Daudé 162e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_Alignment; 163e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, vaddr, access_type, mmu_idx, &fi); 164e21b551cSPhilippe Mathieu-Daudé } 165e21b551cSPhilippe Mathieu-Daudé 166ee03027aSRichard Henderson void helper_exception_pc_alignment(CPUARMState *env, target_ulong pc) 167ee03027aSRichard Henderson { 168ee03027aSRichard Henderson ARMMMUFaultInfo fi = { .type = ARMFault_Alignment }; 169ee03027aSRichard Henderson int target_el = exception_target_el(env); 170ee03027aSRichard Henderson int mmu_idx = cpu_mmu_index(env, true); 171ee03027aSRichard Henderson uint32_t fsc; 172ee03027aSRichard Henderson 173ee03027aSRichard Henderson env->exception.vaddress = pc; 174ee03027aSRichard Henderson 175ee03027aSRichard Henderson /* 176ee03027aSRichard Henderson * Note that the fsc is not applicable to this exception, 177ee03027aSRichard Henderson * since any syndrome is pcalignment not insn_abort. 178ee03027aSRichard Henderson */ 179ee03027aSRichard Henderson env->exception.fsr = compute_fsr_fsc(env, &fi, target_el, mmu_idx, &fsc); 180ee03027aSRichard Henderson raise_exception(env, EXCP_PREFETCH_ABORT, syn_pcalignment(), target_el); 181ee03027aSRichard Henderson } 182ee03027aSRichard Henderson 1830d1762e9SRichard Henderson #if !defined(CONFIG_USER_ONLY) 1840d1762e9SRichard Henderson 185e21b551cSPhilippe Mathieu-Daudé /* 186e21b551cSPhilippe Mathieu-Daudé * arm_cpu_do_transaction_failed: handle a memory system error response 187e21b551cSPhilippe Mathieu-Daudé * (eg "no device/memory present at address") by raising an external abort 188e21b551cSPhilippe Mathieu-Daudé * exception 189e21b551cSPhilippe Mathieu-Daudé */ 190e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, 191e21b551cSPhilippe Mathieu-Daudé vaddr addr, unsigned size, 192e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 193e21b551cSPhilippe Mathieu-Daudé int mmu_idx, MemTxAttrs attrs, 194e21b551cSPhilippe Mathieu-Daudé MemTxResult response, uintptr_t retaddr) 195e21b551cSPhilippe Mathieu-Daudé { 196e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 197e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 198e21b551cSPhilippe Mathieu-Daudé 199e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 2003d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 201e21b551cSPhilippe Mathieu-Daudé 202e21b551cSPhilippe Mathieu-Daudé fi.ea = arm_extabort_type(response); 203e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_SyncExternal; 204e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, addr, access_type, mmu_idx, &fi); 205e21b551cSPhilippe Mathieu-Daudé } 206e21b551cSPhilippe Mathieu-Daudé 207e21b551cSPhilippe Mathieu-Daudé bool arm_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 208e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 209e21b551cSPhilippe Mathieu-Daudé bool probe, uintptr_t retaddr) 210e21b551cSPhilippe Mathieu-Daudé { 211e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 212de05a709SRichard Henderson GetPhysAddrResult res = {}; 213f3639a64SRichard Henderson ARMMMUFaultInfo local_fi, *fi; 214de05a709SRichard Henderson int ret; 215e21b551cSPhilippe Mathieu-Daudé 216e21b551cSPhilippe Mathieu-Daudé /* 217f3639a64SRichard Henderson * Allow S1_ptw_translate to see any fault generated here. 218f3639a64SRichard Henderson * Since this may recurse, read and clear. 219f3639a64SRichard Henderson */ 220f3639a64SRichard Henderson fi = cpu->env.tlb_fi; 221f3639a64SRichard Henderson if (fi) { 222f3639a64SRichard Henderson cpu->env.tlb_fi = NULL; 223f3639a64SRichard Henderson } else { 224f3639a64SRichard Henderson fi = memset(&local_fi, 0, sizeof(local_fi)); 225f3639a64SRichard Henderson } 226f3639a64SRichard Henderson 227f3639a64SRichard Henderson /* 228e21b551cSPhilippe Mathieu-Daudé * Walk the page table and (if the mapping exists) add the page 229e21b551cSPhilippe Mathieu-Daudé * to the TLB. On success, return true. Otherwise, if probing, 230e21b551cSPhilippe Mathieu-Daudé * return false. Otherwise populate fsr with ARM DFSR/IFSR fault 231e21b551cSPhilippe Mathieu-Daudé * register format, and signal the fault. 232e21b551cSPhilippe Mathieu-Daudé */ 233e21b551cSPhilippe Mathieu-Daudé ret = get_phys_addr(&cpu->env, address, access_type, 234e21b551cSPhilippe Mathieu-Daudé core_to_arm_mmu_idx(&cpu->env, mmu_idx), 235f3639a64SRichard Henderson &res, fi); 236e21b551cSPhilippe Mathieu-Daudé if (likely(!ret)) { 237e21b551cSPhilippe Mathieu-Daudé /* 238e21b551cSPhilippe Mathieu-Daudé * Map a single [sub]page. Regions smaller than our declared 239e21b551cSPhilippe Mathieu-Daudé * target page size are handled specially, so for those we 240e21b551cSPhilippe Mathieu-Daudé * pass in the exact addresses. 241e21b551cSPhilippe Mathieu-Daudé */ 2427fa7ea8fSRichard Henderson if (res.f.lg_page_size >= TARGET_PAGE_BITS) { 2437fa7ea8fSRichard Henderson res.f.phys_addr &= TARGET_PAGE_MASK; 244e21b551cSPhilippe Mathieu-Daudé address &= TARGET_PAGE_MASK; 245e21b551cSPhilippe Mathieu-Daudé } 246337a03f0SRichard Henderson 24724d18d5dSRichard Henderson res.f.pte_attrs = res.cacheattrs.attrs; 24824d18d5dSRichard Henderson res.f.shareability = res.cacheattrs.shareability; 24924d18d5dSRichard Henderson 2507fa7ea8fSRichard Henderson tlb_set_page_full(cs, mmu_idx, address, &res.f); 251e21b551cSPhilippe Mathieu-Daudé return true; 252e21b551cSPhilippe Mathieu-Daudé } else if (probe) { 253e21b551cSPhilippe Mathieu-Daudé return false; 254e21b551cSPhilippe Mathieu-Daudé } else { 255e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 2563d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 257f3639a64SRichard Henderson arm_deliver_fault(cpu, address, access_type, mmu_idx, fi); 258e21b551cSPhilippe Mathieu-Daudé } 259e21b551cSPhilippe Mathieu-Daudé } 2609b12b6b4SRichard Henderson #else 2619b12b6b4SRichard Henderson void arm_cpu_record_sigsegv(CPUState *cs, vaddr addr, 2629b12b6b4SRichard Henderson MMUAccessType access_type, 2639b12b6b4SRichard Henderson bool maperr, uintptr_t ra) 2649b12b6b4SRichard Henderson { 2659b12b6b4SRichard Henderson ARMMMUFaultInfo fi = { 2669b12b6b4SRichard Henderson .type = maperr ? ARMFault_Translation : ARMFault_Permission, 2679b12b6b4SRichard Henderson .level = 3, 2689b12b6b4SRichard Henderson }; 2699b12b6b4SRichard Henderson ARMCPU *cpu = ARM_CPU(cs); 2709b12b6b4SRichard Henderson 2719b12b6b4SRichard Henderson /* 2729b12b6b4SRichard Henderson * We report both ESR and FAR to signal handlers. 2739b12b6b4SRichard Henderson * For now, it's easiest to deliver the fault normally. 2749b12b6b4SRichard Henderson */ 2753d419a4dSRichard Henderson cpu_restore_state(cs, ra); 2769b12b6b4SRichard Henderson arm_deliver_fault(cpu, addr, access_type, MMU_USER_IDX, &fi); 2779b12b6b4SRichard Henderson } 27839a099caSRichard Henderson 27939a099caSRichard Henderson void arm_cpu_record_sigbus(CPUState *cs, vaddr addr, 28039a099caSRichard Henderson MMUAccessType access_type, uintptr_t ra) 28139a099caSRichard Henderson { 28239a099caSRichard Henderson arm_cpu_do_unaligned_access(cs, addr, access_type, MMU_USER_IDX, ra); 28339a099caSRichard Henderson } 2849b12b6b4SRichard Henderson #endif /* !defined(CONFIG_USER_ONLY) */ 285