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, 27*e61c4d87SPeter Maydell ARMMMUFaultInfo *fi, 28e21b551cSPhilippe Mathieu-Daudé unsigned int target_el, 29*e61c4d87SPeter 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é /* 35e21b551cSPhilippe Mathieu-Daudé * ISV is only set for data aborts routed to EL2 and 36e21b551cSPhilippe Mathieu-Daudé * never for stage-1 page table walks faulting on stage 2. 37e21b551cSPhilippe Mathieu-Daudé * 38e21b551cSPhilippe Mathieu-Daudé * Furthermore, ISV is only set for certain kinds of load/stores. 39e21b551cSPhilippe Mathieu-Daudé * If the template syndrome does not have ISV set, we should leave 40e21b551cSPhilippe Mathieu-Daudé * it cleared. 41e21b551cSPhilippe Mathieu-Daudé * 42e21b551cSPhilippe Mathieu-Daudé * See ARMv8 specs, D7-1974: 43e21b551cSPhilippe Mathieu-Daudé * ISS encoding for an exception from a Data Abort, the 44e21b551cSPhilippe Mathieu-Daudé * ISV field. 45e21b551cSPhilippe Mathieu-Daudé */ 46*e61c4d87SPeter Maydell if (!(template_syn & ARM_EL_ISV) || target_el != 2 || fi->s1ptw) { 47e24fd076SDongjiu Geng syn = syn_data_abort_no_iss(same_el, 0, 48*e61c4d87SPeter Maydell fi->ea, 0, fi->s1ptw, is_write, fsc); 49e21b551cSPhilippe Mathieu-Daudé } else { 50e21b551cSPhilippe Mathieu-Daudé /* 51e21b551cSPhilippe Mathieu-Daudé * Fields: IL, ISV, SAS, SSE, SRT, SF and AR come from the template 52e21b551cSPhilippe Mathieu-Daudé * syndrome created at translation time. 53e21b551cSPhilippe Mathieu-Daudé * Now we create the runtime syndrome with the remaining fields. 54e21b551cSPhilippe Mathieu-Daudé */ 55e21b551cSPhilippe Mathieu-Daudé syn = syn_data_abort_with_iss(same_el, 56e21b551cSPhilippe Mathieu-Daudé 0, 0, 0, 0, 0, 57*e61c4d87SPeter Maydell fi->ea, 0, fi->s1ptw, is_write, fsc, 5830d54483SJeff Kubascik true); 59e21b551cSPhilippe Mathieu-Daudé /* Merge the runtime syndrome with the template syndrome. */ 60e21b551cSPhilippe Mathieu-Daudé syn |= template_syn; 61e21b551cSPhilippe Mathieu-Daudé } 62e21b551cSPhilippe Mathieu-Daudé return syn; 63e21b551cSPhilippe Mathieu-Daudé } 64e21b551cSPhilippe Mathieu-Daudé 65936a6b86SRichard Henderson static uint32_t compute_fsr_fsc(CPUARMState *env, ARMMMUFaultInfo *fi, 66936a6b86SRichard Henderson int target_el, int mmu_idx, uint32_t *ret_fsc) 67e21b551cSPhilippe Mathieu-Daudé { 68e21b551cSPhilippe Mathieu-Daudé ARMMMUIdx arm_mmu_idx = core_to_arm_mmu_idx(env, mmu_idx); 69936a6b86SRichard Henderson uint32_t fsr, fsc; 70e21b551cSPhilippe Mathieu-Daudé 71e21b551cSPhilippe Mathieu-Daudé if (target_el == 2 || arm_el_is_aa64(env, target_el) || 72e21b551cSPhilippe Mathieu-Daudé arm_s1_regime_using_lpae_format(env, arm_mmu_idx)) { 73e21b551cSPhilippe Mathieu-Daudé /* 74e21b551cSPhilippe Mathieu-Daudé * LPAE format fault status register : bottom 6 bits are 75e21b551cSPhilippe Mathieu-Daudé * status code in the same form as needed for syndrome 76e21b551cSPhilippe Mathieu-Daudé */ 77e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_lfsc(fi); 78e21b551cSPhilippe Mathieu-Daudé fsc = extract32(fsr, 0, 6); 79e21b551cSPhilippe Mathieu-Daudé } else { 80e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_sfsc(fi); 81e21b551cSPhilippe Mathieu-Daudé /* 82e21b551cSPhilippe Mathieu-Daudé * Short format FSR : this fault will never actually be reported 83e21b551cSPhilippe Mathieu-Daudé * to an EL that uses a syndrome register. Use a (currently) 84e21b551cSPhilippe Mathieu-Daudé * reserved FSR code in case the constructed syndrome does leak 85e21b551cSPhilippe Mathieu-Daudé * into the guest somehow. 86e21b551cSPhilippe Mathieu-Daudé */ 87e21b551cSPhilippe Mathieu-Daudé fsc = 0x3f; 88e21b551cSPhilippe Mathieu-Daudé } 89e21b551cSPhilippe Mathieu-Daudé 90936a6b86SRichard Henderson *ret_fsc = fsc; 91936a6b86SRichard Henderson return fsr; 92936a6b86SRichard Henderson } 93936a6b86SRichard Henderson 948905770bSMarc-André Lureau static G_NORETURN 958905770bSMarc-André Lureau void arm_deliver_fault(ARMCPU *cpu, vaddr addr, 96936a6b86SRichard Henderson MMUAccessType access_type, 97936a6b86SRichard Henderson int mmu_idx, ARMMMUFaultInfo *fi) 98936a6b86SRichard Henderson { 99936a6b86SRichard Henderson CPUARMState *env = &cpu->env; 100936a6b86SRichard Henderson int target_el; 101936a6b86SRichard Henderson bool same_el; 102936a6b86SRichard Henderson uint32_t syn, exc, fsr, fsc; 103936a6b86SRichard Henderson 104936a6b86SRichard Henderson target_el = exception_target_el(env); 105936a6b86SRichard Henderson if (fi->stage2) { 106936a6b86SRichard Henderson target_el = 2; 107936a6b86SRichard Henderson env->cp15.hpfar_el2 = extract64(fi->s2addr, 12, 47) << 4; 108936a6b86SRichard Henderson if (arm_is_secure_below_el3(env) && fi->s1ns) { 109936a6b86SRichard Henderson env->cp15.hpfar_el2 |= HPFAR_NS; 110936a6b86SRichard Henderson } 111936a6b86SRichard Henderson } 112936a6b86SRichard Henderson same_el = (arm_current_el(env) == target_el); 113936a6b86SRichard Henderson 114936a6b86SRichard Henderson fsr = compute_fsr_fsc(env, fi, target_el, mmu_idx, &fsc); 115936a6b86SRichard Henderson 116e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_INST_FETCH) { 117e21b551cSPhilippe Mathieu-Daudé syn = syn_insn_abort(same_el, fi->ea, fi->s1ptw, fsc); 118e21b551cSPhilippe Mathieu-Daudé exc = EXCP_PREFETCH_ABORT; 119e21b551cSPhilippe Mathieu-Daudé } else { 120*e61c4d87SPeter Maydell syn = merge_syn_data_abort(env->exception.syndrome, fi, target_el, 121*e61c4d87SPeter Maydell same_el, access_type == MMU_DATA_STORE, 122e21b551cSPhilippe Mathieu-Daudé fsc); 123e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_DATA_STORE 124e21b551cSPhilippe Mathieu-Daudé && arm_feature(env, ARM_FEATURE_V6)) { 125e21b551cSPhilippe Mathieu-Daudé fsr |= (1 << 11); 126e21b551cSPhilippe Mathieu-Daudé } 127e21b551cSPhilippe Mathieu-Daudé exc = EXCP_DATA_ABORT; 128e21b551cSPhilippe Mathieu-Daudé } 129e21b551cSPhilippe Mathieu-Daudé 130e21b551cSPhilippe Mathieu-Daudé env->exception.vaddress = addr; 131e21b551cSPhilippe Mathieu-Daudé env->exception.fsr = fsr; 132e21b551cSPhilippe Mathieu-Daudé raise_exception(env, exc, syn, target_el); 133e21b551cSPhilippe Mathieu-Daudé } 134e21b551cSPhilippe Mathieu-Daudé 135e21b551cSPhilippe Mathieu-Daudé /* Raise a data fault alignment exception for the specified virtual address */ 136e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 137e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 138e21b551cSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 139e21b551cSPhilippe Mathieu-Daudé { 140e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 141e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 142e21b551cSPhilippe Mathieu-Daudé 143e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 1443d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 145e21b551cSPhilippe Mathieu-Daudé 146e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_Alignment; 147e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, vaddr, access_type, mmu_idx, &fi); 148e21b551cSPhilippe Mathieu-Daudé } 149e21b551cSPhilippe Mathieu-Daudé 150ee03027aSRichard Henderson void helper_exception_pc_alignment(CPUARMState *env, target_ulong pc) 151ee03027aSRichard Henderson { 152ee03027aSRichard Henderson ARMMMUFaultInfo fi = { .type = ARMFault_Alignment }; 153ee03027aSRichard Henderson int target_el = exception_target_el(env); 154ee03027aSRichard Henderson int mmu_idx = cpu_mmu_index(env, true); 155ee03027aSRichard Henderson uint32_t fsc; 156ee03027aSRichard Henderson 157ee03027aSRichard Henderson env->exception.vaddress = pc; 158ee03027aSRichard Henderson 159ee03027aSRichard Henderson /* 160ee03027aSRichard Henderson * Note that the fsc is not applicable to this exception, 161ee03027aSRichard Henderson * since any syndrome is pcalignment not insn_abort. 162ee03027aSRichard Henderson */ 163ee03027aSRichard Henderson env->exception.fsr = compute_fsr_fsc(env, &fi, target_el, mmu_idx, &fsc); 164ee03027aSRichard Henderson raise_exception(env, EXCP_PREFETCH_ABORT, syn_pcalignment(), target_el); 165ee03027aSRichard Henderson } 166ee03027aSRichard Henderson 1670d1762e9SRichard Henderson #if !defined(CONFIG_USER_ONLY) 1680d1762e9SRichard Henderson 169e21b551cSPhilippe Mathieu-Daudé /* 170e21b551cSPhilippe Mathieu-Daudé * arm_cpu_do_transaction_failed: handle a memory system error response 171e21b551cSPhilippe Mathieu-Daudé * (eg "no device/memory present at address") by raising an external abort 172e21b551cSPhilippe Mathieu-Daudé * exception 173e21b551cSPhilippe Mathieu-Daudé */ 174e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, 175e21b551cSPhilippe Mathieu-Daudé vaddr addr, unsigned size, 176e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 177e21b551cSPhilippe Mathieu-Daudé int mmu_idx, MemTxAttrs attrs, 178e21b551cSPhilippe Mathieu-Daudé MemTxResult response, uintptr_t retaddr) 179e21b551cSPhilippe Mathieu-Daudé { 180e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 181e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 182e21b551cSPhilippe Mathieu-Daudé 183e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 1843d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 185e21b551cSPhilippe Mathieu-Daudé 186e21b551cSPhilippe Mathieu-Daudé fi.ea = arm_extabort_type(response); 187e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_SyncExternal; 188e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, addr, access_type, mmu_idx, &fi); 189e21b551cSPhilippe Mathieu-Daudé } 190e21b551cSPhilippe Mathieu-Daudé 191e21b551cSPhilippe Mathieu-Daudé bool arm_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 192e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 193e21b551cSPhilippe Mathieu-Daudé bool probe, uintptr_t retaddr) 194e21b551cSPhilippe Mathieu-Daudé { 195e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 196de05a709SRichard Henderson GetPhysAddrResult res = {}; 197f3639a64SRichard Henderson ARMMMUFaultInfo local_fi, *fi; 198de05a709SRichard Henderson int ret; 199e21b551cSPhilippe Mathieu-Daudé 200e21b551cSPhilippe Mathieu-Daudé /* 201f3639a64SRichard Henderson * Allow S1_ptw_translate to see any fault generated here. 202f3639a64SRichard Henderson * Since this may recurse, read and clear. 203f3639a64SRichard Henderson */ 204f3639a64SRichard Henderson fi = cpu->env.tlb_fi; 205f3639a64SRichard Henderson if (fi) { 206f3639a64SRichard Henderson cpu->env.tlb_fi = NULL; 207f3639a64SRichard Henderson } else { 208f3639a64SRichard Henderson fi = memset(&local_fi, 0, sizeof(local_fi)); 209f3639a64SRichard Henderson } 210f3639a64SRichard Henderson 211f3639a64SRichard Henderson /* 212e21b551cSPhilippe Mathieu-Daudé * Walk the page table and (if the mapping exists) add the page 213e21b551cSPhilippe Mathieu-Daudé * to the TLB. On success, return true. Otherwise, if probing, 214e21b551cSPhilippe Mathieu-Daudé * return false. Otherwise populate fsr with ARM DFSR/IFSR fault 215e21b551cSPhilippe Mathieu-Daudé * register format, and signal the fault. 216e21b551cSPhilippe Mathieu-Daudé */ 217e21b551cSPhilippe Mathieu-Daudé ret = get_phys_addr(&cpu->env, address, access_type, 218e21b551cSPhilippe Mathieu-Daudé core_to_arm_mmu_idx(&cpu->env, mmu_idx), 219f3639a64SRichard Henderson &res, fi); 220e21b551cSPhilippe Mathieu-Daudé if (likely(!ret)) { 221e21b551cSPhilippe Mathieu-Daudé /* 222e21b551cSPhilippe Mathieu-Daudé * Map a single [sub]page. Regions smaller than our declared 223e21b551cSPhilippe Mathieu-Daudé * target page size are handled specially, so for those we 224e21b551cSPhilippe Mathieu-Daudé * pass in the exact addresses. 225e21b551cSPhilippe Mathieu-Daudé */ 2267fa7ea8fSRichard Henderson if (res.f.lg_page_size >= TARGET_PAGE_BITS) { 2277fa7ea8fSRichard Henderson res.f.phys_addr &= TARGET_PAGE_MASK; 228e21b551cSPhilippe Mathieu-Daudé address &= TARGET_PAGE_MASK; 229e21b551cSPhilippe Mathieu-Daudé } 230337a03f0SRichard Henderson 23124d18d5dSRichard Henderson res.f.pte_attrs = res.cacheattrs.attrs; 23224d18d5dSRichard Henderson res.f.shareability = res.cacheattrs.shareability; 23324d18d5dSRichard Henderson 2347fa7ea8fSRichard Henderson tlb_set_page_full(cs, mmu_idx, address, &res.f); 235e21b551cSPhilippe Mathieu-Daudé return true; 236e21b551cSPhilippe Mathieu-Daudé } else if (probe) { 237e21b551cSPhilippe Mathieu-Daudé return false; 238e21b551cSPhilippe Mathieu-Daudé } else { 239e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 2403d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 241f3639a64SRichard Henderson arm_deliver_fault(cpu, address, access_type, mmu_idx, fi); 242e21b551cSPhilippe Mathieu-Daudé } 243e21b551cSPhilippe Mathieu-Daudé } 2449b12b6b4SRichard Henderson #else 2459b12b6b4SRichard Henderson void arm_cpu_record_sigsegv(CPUState *cs, vaddr addr, 2469b12b6b4SRichard Henderson MMUAccessType access_type, 2479b12b6b4SRichard Henderson bool maperr, uintptr_t ra) 2489b12b6b4SRichard Henderson { 2499b12b6b4SRichard Henderson ARMMMUFaultInfo fi = { 2509b12b6b4SRichard Henderson .type = maperr ? ARMFault_Translation : ARMFault_Permission, 2519b12b6b4SRichard Henderson .level = 3, 2529b12b6b4SRichard Henderson }; 2539b12b6b4SRichard Henderson ARMCPU *cpu = ARM_CPU(cs); 2549b12b6b4SRichard Henderson 2559b12b6b4SRichard Henderson /* 2569b12b6b4SRichard Henderson * We report both ESR and FAR to signal handlers. 2579b12b6b4SRichard Henderson * For now, it's easiest to deliver the fault normally. 2589b12b6b4SRichard Henderson */ 2593d419a4dSRichard Henderson cpu_restore_state(cs, ra); 2609b12b6b4SRichard Henderson arm_deliver_fault(cpu, addr, access_type, MMU_USER_IDX, &fi); 2619b12b6b4SRichard Henderson } 26239a099caSRichard Henderson 26339a099caSRichard Henderson void arm_cpu_record_sigbus(CPUState *cs, vaddr addr, 26439a099caSRichard Henderson MMUAccessType access_type, uintptr_t ra) 26539a099caSRichard Henderson { 26639a099caSRichard Henderson arm_cpu_do_unaligned_access(cs, addr, access_type, MMU_USER_IDX, ra); 26739a099caSRichard Henderson } 2689b12b6b4SRichard Henderson #endif /* !defined(CONFIG_USER_ONLY) */ 269