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é /* 35*a3856808SPeter Maydell * ISV is only set for stage-2 data aborts routed to EL2 and 36*a3856808SPeter Maydell * never for stage-1 page table walks faulting on stage 2 37*a3856808SPeter 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. 46*a3856808SPeter Maydell * 47*a3856808SPeter Maydell * TODO: FEAT_LS64/FEAT_LS64_V/FEAT_SL64_ACCDATA: Translation, 48*a3856808SPeter Maydell * Access Flag, and Permission faults caused by LD64B, ST64B, 49*a3856808SPeter Maydell * ST64BV, or ST64BV0 insns report syndrome info even for stage-1 50*a3856808SPeter Maydell * faults and regardless of the target EL. 51e21b551cSPhilippe Mathieu-Daudé */ 52*a3856808SPeter Maydell if (!(template_syn & ARM_EL_ISV) || target_el != 2 53*a3856808SPeter 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é 78e21b551cSPhilippe Mathieu-Daudé if (target_el == 2 || arm_el_is_aa64(env, target_el) || 79e21b551cSPhilippe Mathieu-Daudé arm_s1_regime_using_lpae_format(env, arm_mmu_idx)) { 80e21b551cSPhilippe Mathieu-Daudé /* 81e21b551cSPhilippe Mathieu-Daudé * LPAE format fault status register : bottom 6 bits are 82e21b551cSPhilippe Mathieu-Daudé * status code in the same form as needed for syndrome 83e21b551cSPhilippe Mathieu-Daudé */ 84e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_lfsc(fi); 85e21b551cSPhilippe Mathieu-Daudé fsc = extract32(fsr, 0, 6); 86e21b551cSPhilippe Mathieu-Daudé } else { 87e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_sfsc(fi); 88e21b551cSPhilippe Mathieu-Daudé /* 89e21b551cSPhilippe Mathieu-Daudé * Short format FSR : this fault will never actually be reported 90e21b551cSPhilippe Mathieu-Daudé * to an EL that uses a syndrome register. Use a (currently) 91e21b551cSPhilippe Mathieu-Daudé * reserved FSR code in case the constructed syndrome does leak 92e21b551cSPhilippe Mathieu-Daudé * into the guest somehow. 93e21b551cSPhilippe Mathieu-Daudé */ 94e21b551cSPhilippe Mathieu-Daudé fsc = 0x3f; 95e21b551cSPhilippe Mathieu-Daudé } 96e21b551cSPhilippe Mathieu-Daudé 97936a6b86SRichard Henderson *ret_fsc = fsc; 98936a6b86SRichard Henderson return fsr; 99936a6b86SRichard Henderson } 100936a6b86SRichard Henderson 1018905770bSMarc-André Lureau static G_NORETURN 1028905770bSMarc-André Lureau void arm_deliver_fault(ARMCPU *cpu, vaddr addr, 103936a6b86SRichard Henderson MMUAccessType access_type, 104936a6b86SRichard Henderson int mmu_idx, ARMMMUFaultInfo *fi) 105936a6b86SRichard Henderson { 106936a6b86SRichard Henderson CPUARMState *env = &cpu->env; 107936a6b86SRichard Henderson int target_el; 108936a6b86SRichard Henderson bool same_el; 109936a6b86SRichard Henderson uint32_t syn, exc, fsr, fsc; 110936a6b86SRichard Henderson 111936a6b86SRichard Henderson target_el = exception_target_el(env); 112936a6b86SRichard Henderson if (fi->stage2) { 113936a6b86SRichard Henderson target_el = 2; 114936a6b86SRichard Henderson env->cp15.hpfar_el2 = extract64(fi->s2addr, 12, 47) << 4; 115936a6b86SRichard Henderson if (arm_is_secure_below_el3(env) && fi->s1ns) { 116936a6b86SRichard Henderson env->cp15.hpfar_el2 |= HPFAR_NS; 117936a6b86SRichard Henderson } 118936a6b86SRichard Henderson } 119936a6b86SRichard Henderson same_el = (arm_current_el(env) == target_el); 120936a6b86SRichard Henderson 121936a6b86SRichard Henderson fsr = compute_fsr_fsc(env, fi, target_el, mmu_idx, &fsc); 122936a6b86SRichard Henderson 123e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_INST_FETCH) { 124e21b551cSPhilippe Mathieu-Daudé syn = syn_insn_abort(same_el, fi->ea, fi->s1ptw, fsc); 125e21b551cSPhilippe Mathieu-Daudé exc = EXCP_PREFETCH_ABORT; 126e21b551cSPhilippe Mathieu-Daudé } else { 127e61c4d87SPeter Maydell syn = merge_syn_data_abort(env->exception.syndrome, fi, target_el, 128e61c4d87SPeter Maydell same_el, access_type == MMU_DATA_STORE, 129e21b551cSPhilippe Mathieu-Daudé fsc); 130e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_DATA_STORE 131e21b551cSPhilippe Mathieu-Daudé && arm_feature(env, ARM_FEATURE_V6)) { 132e21b551cSPhilippe Mathieu-Daudé fsr |= (1 << 11); 133e21b551cSPhilippe Mathieu-Daudé } 134e21b551cSPhilippe Mathieu-Daudé exc = EXCP_DATA_ABORT; 135e21b551cSPhilippe Mathieu-Daudé } 136e21b551cSPhilippe Mathieu-Daudé 137e21b551cSPhilippe Mathieu-Daudé env->exception.vaddress = addr; 138e21b551cSPhilippe Mathieu-Daudé env->exception.fsr = fsr; 139e21b551cSPhilippe Mathieu-Daudé raise_exception(env, exc, syn, target_el); 140e21b551cSPhilippe Mathieu-Daudé } 141e21b551cSPhilippe Mathieu-Daudé 142e21b551cSPhilippe Mathieu-Daudé /* Raise a data fault alignment exception for the specified virtual address */ 143e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 144e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 145e21b551cSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 146e21b551cSPhilippe Mathieu-Daudé { 147e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 148e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 149e21b551cSPhilippe Mathieu-Daudé 150e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 1513d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 152e21b551cSPhilippe Mathieu-Daudé 153e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_Alignment; 154e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, vaddr, access_type, mmu_idx, &fi); 155e21b551cSPhilippe Mathieu-Daudé } 156e21b551cSPhilippe Mathieu-Daudé 157ee03027aSRichard Henderson void helper_exception_pc_alignment(CPUARMState *env, target_ulong pc) 158ee03027aSRichard Henderson { 159ee03027aSRichard Henderson ARMMMUFaultInfo fi = { .type = ARMFault_Alignment }; 160ee03027aSRichard Henderson int target_el = exception_target_el(env); 161ee03027aSRichard Henderson int mmu_idx = cpu_mmu_index(env, true); 162ee03027aSRichard Henderson uint32_t fsc; 163ee03027aSRichard Henderson 164ee03027aSRichard Henderson env->exception.vaddress = pc; 165ee03027aSRichard Henderson 166ee03027aSRichard Henderson /* 167ee03027aSRichard Henderson * Note that the fsc is not applicable to this exception, 168ee03027aSRichard Henderson * since any syndrome is pcalignment not insn_abort. 169ee03027aSRichard Henderson */ 170ee03027aSRichard Henderson env->exception.fsr = compute_fsr_fsc(env, &fi, target_el, mmu_idx, &fsc); 171ee03027aSRichard Henderson raise_exception(env, EXCP_PREFETCH_ABORT, syn_pcalignment(), target_el); 172ee03027aSRichard Henderson } 173ee03027aSRichard Henderson 1740d1762e9SRichard Henderson #if !defined(CONFIG_USER_ONLY) 1750d1762e9SRichard Henderson 176e21b551cSPhilippe Mathieu-Daudé /* 177e21b551cSPhilippe Mathieu-Daudé * arm_cpu_do_transaction_failed: handle a memory system error response 178e21b551cSPhilippe Mathieu-Daudé * (eg "no device/memory present at address") by raising an external abort 179e21b551cSPhilippe Mathieu-Daudé * exception 180e21b551cSPhilippe Mathieu-Daudé */ 181e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, 182e21b551cSPhilippe Mathieu-Daudé vaddr addr, unsigned size, 183e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 184e21b551cSPhilippe Mathieu-Daudé int mmu_idx, MemTxAttrs attrs, 185e21b551cSPhilippe Mathieu-Daudé MemTxResult response, uintptr_t retaddr) 186e21b551cSPhilippe Mathieu-Daudé { 187e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 188e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 189e21b551cSPhilippe Mathieu-Daudé 190e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 1913d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 192e21b551cSPhilippe Mathieu-Daudé 193e21b551cSPhilippe Mathieu-Daudé fi.ea = arm_extabort_type(response); 194e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_SyncExternal; 195e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, addr, access_type, mmu_idx, &fi); 196e21b551cSPhilippe Mathieu-Daudé } 197e21b551cSPhilippe Mathieu-Daudé 198e21b551cSPhilippe Mathieu-Daudé bool arm_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 199e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 200e21b551cSPhilippe Mathieu-Daudé bool probe, uintptr_t retaddr) 201e21b551cSPhilippe Mathieu-Daudé { 202e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 203de05a709SRichard Henderson GetPhysAddrResult res = {}; 204f3639a64SRichard Henderson ARMMMUFaultInfo local_fi, *fi; 205de05a709SRichard Henderson int ret; 206e21b551cSPhilippe Mathieu-Daudé 207e21b551cSPhilippe Mathieu-Daudé /* 208f3639a64SRichard Henderson * Allow S1_ptw_translate to see any fault generated here. 209f3639a64SRichard Henderson * Since this may recurse, read and clear. 210f3639a64SRichard Henderson */ 211f3639a64SRichard Henderson fi = cpu->env.tlb_fi; 212f3639a64SRichard Henderson if (fi) { 213f3639a64SRichard Henderson cpu->env.tlb_fi = NULL; 214f3639a64SRichard Henderson } else { 215f3639a64SRichard Henderson fi = memset(&local_fi, 0, sizeof(local_fi)); 216f3639a64SRichard Henderson } 217f3639a64SRichard Henderson 218f3639a64SRichard Henderson /* 219e21b551cSPhilippe Mathieu-Daudé * Walk the page table and (if the mapping exists) add the page 220e21b551cSPhilippe Mathieu-Daudé * to the TLB. On success, return true. Otherwise, if probing, 221e21b551cSPhilippe Mathieu-Daudé * return false. Otherwise populate fsr with ARM DFSR/IFSR fault 222e21b551cSPhilippe Mathieu-Daudé * register format, and signal the fault. 223e21b551cSPhilippe Mathieu-Daudé */ 224e21b551cSPhilippe Mathieu-Daudé ret = get_phys_addr(&cpu->env, address, access_type, 225e21b551cSPhilippe Mathieu-Daudé core_to_arm_mmu_idx(&cpu->env, mmu_idx), 226f3639a64SRichard Henderson &res, fi); 227e21b551cSPhilippe Mathieu-Daudé if (likely(!ret)) { 228e21b551cSPhilippe Mathieu-Daudé /* 229e21b551cSPhilippe Mathieu-Daudé * Map a single [sub]page. Regions smaller than our declared 230e21b551cSPhilippe Mathieu-Daudé * target page size are handled specially, so for those we 231e21b551cSPhilippe Mathieu-Daudé * pass in the exact addresses. 232e21b551cSPhilippe Mathieu-Daudé */ 2337fa7ea8fSRichard Henderson if (res.f.lg_page_size >= TARGET_PAGE_BITS) { 2347fa7ea8fSRichard Henderson res.f.phys_addr &= TARGET_PAGE_MASK; 235e21b551cSPhilippe Mathieu-Daudé address &= TARGET_PAGE_MASK; 236e21b551cSPhilippe Mathieu-Daudé } 237337a03f0SRichard Henderson 23824d18d5dSRichard Henderson res.f.pte_attrs = res.cacheattrs.attrs; 23924d18d5dSRichard Henderson res.f.shareability = res.cacheattrs.shareability; 24024d18d5dSRichard Henderson 2417fa7ea8fSRichard Henderson tlb_set_page_full(cs, mmu_idx, address, &res.f); 242e21b551cSPhilippe Mathieu-Daudé return true; 243e21b551cSPhilippe Mathieu-Daudé } else if (probe) { 244e21b551cSPhilippe Mathieu-Daudé return false; 245e21b551cSPhilippe Mathieu-Daudé } else { 246e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 2473d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 248f3639a64SRichard Henderson arm_deliver_fault(cpu, address, access_type, mmu_idx, fi); 249e21b551cSPhilippe Mathieu-Daudé } 250e21b551cSPhilippe Mathieu-Daudé } 2519b12b6b4SRichard Henderson #else 2529b12b6b4SRichard Henderson void arm_cpu_record_sigsegv(CPUState *cs, vaddr addr, 2539b12b6b4SRichard Henderson MMUAccessType access_type, 2549b12b6b4SRichard Henderson bool maperr, uintptr_t ra) 2559b12b6b4SRichard Henderson { 2569b12b6b4SRichard Henderson ARMMMUFaultInfo fi = { 2579b12b6b4SRichard Henderson .type = maperr ? ARMFault_Translation : ARMFault_Permission, 2589b12b6b4SRichard Henderson .level = 3, 2599b12b6b4SRichard Henderson }; 2609b12b6b4SRichard Henderson ARMCPU *cpu = ARM_CPU(cs); 2619b12b6b4SRichard Henderson 2629b12b6b4SRichard Henderson /* 2639b12b6b4SRichard Henderson * We report both ESR and FAR to signal handlers. 2649b12b6b4SRichard Henderson * For now, it's easiest to deliver the fault normally. 2659b12b6b4SRichard Henderson */ 2663d419a4dSRichard Henderson cpu_restore_state(cs, ra); 2679b12b6b4SRichard Henderson arm_deliver_fault(cpu, addr, access_type, MMU_USER_IDX, &fi); 2689b12b6b4SRichard Henderson } 26939a099caSRichard Henderson 27039a099caSRichard Henderson void arm_cpu_record_sigbus(CPUState *cs, vaddr addr, 27139a099caSRichard Henderson MMUAccessType access_type, uintptr_t ra) 27239a099caSRichard Henderson { 27339a099caSRichard Henderson arm_cpu_do_unaligned_access(cs, addr, access_type, MMU_USER_IDX, ra); 27439a099caSRichard Henderson } 2759b12b6b4SRichard Henderson #endif /* !defined(CONFIG_USER_ONLY) */ 276