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é 14*cd6bc4d5SRichard Henderson 15*cd6bc4d5SRichard Henderson /* Return true if the translation regime is using LPAE format page tables */ 16*cd6bc4d5SRichard Henderson bool regime_using_lpae_format(CPUARMState *env, ARMMMUIdx mmu_idx) 17*cd6bc4d5SRichard Henderson { 18*cd6bc4d5SRichard Henderson int el = regime_el(env, mmu_idx); 19*cd6bc4d5SRichard Henderson if (el == 2 || arm_el_is_aa64(env, el)) { 20*cd6bc4d5SRichard Henderson return true; 21*cd6bc4d5SRichard Henderson } 22*cd6bc4d5SRichard Henderson if (arm_feature(env, ARM_FEATURE_LPAE) 23*cd6bc4d5SRichard Henderson && (regime_tcr(env, mmu_idx)->raw_tcr & TTBCR_EAE)) { 24*cd6bc4d5SRichard Henderson return true; 25*cd6bc4d5SRichard Henderson } 26*cd6bc4d5SRichard Henderson return false; 27*cd6bc4d5SRichard Henderson } 28*cd6bc4d5SRichard Henderson 29*cd6bc4d5SRichard Henderson /* 30*cd6bc4d5SRichard Henderson * Returns true if the stage 1 translation regime is using LPAE format page 31*cd6bc4d5SRichard Henderson * tables. Used when raising alignment exceptions, whose FSR changes depending 32*cd6bc4d5SRichard Henderson * on whether the long or short descriptor format is in use. 33*cd6bc4d5SRichard Henderson */ 34*cd6bc4d5SRichard Henderson bool arm_s1_regime_using_lpae_format(CPUARMState *env, ARMMMUIdx mmu_idx) 35*cd6bc4d5SRichard Henderson { 36*cd6bc4d5SRichard Henderson mmu_idx = stage_1_mmu_idx(mmu_idx); 37*cd6bc4d5SRichard Henderson return regime_using_lpae_format(env, mmu_idx); 38*cd6bc4d5SRichard Henderson } 39*cd6bc4d5SRichard Henderson 40e21b551cSPhilippe Mathieu-Daudé static inline uint32_t merge_syn_data_abort(uint32_t template_syn, 41e21b551cSPhilippe Mathieu-Daudé unsigned int target_el, 42e21b551cSPhilippe Mathieu-Daudé bool same_el, bool ea, 43e21b551cSPhilippe Mathieu-Daudé bool s1ptw, bool is_write, 44e21b551cSPhilippe Mathieu-Daudé int fsc) 45e21b551cSPhilippe Mathieu-Daudé { 46e21b551cSPhilippe Mathieu-Daudé uint32_t syn; 47e21b551cSPhilippe Mathieu-Daudé 48e21b551cSPhilippe Mathieu-Daudé /* 49e21b551cSPhilippe Mathieu-Daudé * ISV is only set for data aborts routed to EL2 and 50e21b551cSPhilippe Mathieu-Daudé * never for stage-1 page table walks faulting on stage 2. 51e21b551cSPhilippe Mathieu-Daudé * 52e21b551cSPhilippe Mathieu-Daudé * Furthermore, ISV is only set for certain kinds of load/stores. 53e21b551cSPhilippe Mathieu-Daudé * If the template syndrome does not have ISV set, we should leave 54e21b551cSPhilippe Mathieu-Daudé * it cleared. 55e21b551cSPhilippe Mathieu-Daudé * 56e21b551cSPhilippe Mathieu-Daudé * See ARMv8 specs, D7-1974: 57e21b551cSPhilippe Mathieu-Daudé * ISS encoding for an exception from a Data Abort, the 58e21b551cSPhilippe Mathieu-Daudé * ISV field. 59e21b551cSPhilippe Mathieu-Daudé */ 60e21b551cSPhilippe Mathieu-Daudé if (!(template_syn & ARM_EL_ISV) || target_el != 2 || s1ptw) { 61e24fd076SDongjiu Geng syn = syn_data_abort_no_iss(same_el, 0, 62e21b551cSPhilippe Mathieu-Daudé ea, 0, s1ptw, is_write, fsc); 63e21b551cSPhilippe Mathieu-Daudé } else { 64e21b551cSPhilippe Mathieu-Daudé /* 65e21b551cSPhilippe Mathieu-Daudé * Fields: IL, ISV, SAS, SSE, SRT, SF and AR come from the template 66e21b551cSPhilippe Mathieu-Daudé * syndrome created at translation time. 67e21b551cSPhilippe Mathieu-Daudé * Now we create the runtime syndrome with the remaining fields. 68e21b551cSPhilippe Mathieu-Daudé */ 69e21b551cSPhilippe Mathieu-Daudé syn = syn_data_abort_with_iss(same_el, 70e21b551cSPhilippe Mathieu-Daudé 0, 0, 0, 0, 0, 71e21b551cSPhilippe Mathieu-Daudé ea, 0, s1ptw, is_write, fsc, 7230d54483SJeff Kubascik true); 73e21b551cSPhilippe Mathieu-Daudé /* Merge the runtime syndrome with the template syndrome. */ 74e21b551cSPhilippe Mathieu-Daudé syn |= template_syn; 75e21b551cSPhilippe Mathieu-Daudé } 76e21b551cSPhilippe Mathieu-Daudé return syn; 77e21b551cSPhilippe Mathieu-Daudé } 78e21b551cSPhilippe Mathieu-Daudé 79936a6b86SRichard Henderson static uint32_t compute_fsr_fsc(CPUARMState *env, ARMMMUFaultInfo *fi, 80936a6b86SRichard Henderson int target_el, int mmu_idx, uint32_t *ret_fsc) 81e21b551cSPhilippe Mathieu-Daudé { 82e21b551cSPhilippe Mathieu-Daudé ARMMMUIdx arm_mmu_idx = core_to_arm_mmu_idx(env, mmu_idx); 83936a6b86SRichard Henderson uint32_t fsr, fsc; 84e21b551cSPhilippe Mathieu-Daudé 85e21b551cSPhilippe Mathieu-Daudé if (target_el == 2 || arm_el_is_aa64(env, target_el) || 86e21b551cSPhilippe Mathieu-Daudé arm_s1_regime_using_lpae_format(env, arm_mmu_idx)) { 87e21b551cSPhilippe Mathieu-Daudé /* 88e21b551cSPhilippe Mathieu-Daudé * LPAE format fault status register : bottom 6 bits are 89e21b551cSPhilippe Mathieu-Daudé * status code in the same form as needed for syndrome 90e21b551cSPhilippe Mathieu-Daudé */ 91e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_lfsc(fi); 92e21b551cSPhilippe Mathieu-Daudé fsc = extract32(fsr, 0, 6); 93e21b551cSPhilippe Mathieu-Daudé } else { 94e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_sfsc(fi); 95e21b551cSPhilippe Mathieu-Daudé /* 96e21b551cSPhilippe Mathieu-Daudé * Short format FSR : this fault will never actually be reported 97e21b551cSPhilippe Mathieu-Daudé * to an EL that uses a syndrome register. Use a (currently) 98e21b551cSPhilippe Mathieu-Daudé * reserved FSR code in case the constructed syndrome does leak 99e21b551cSPhilippe Mathieu-Daudé * into the guest somehow. 100e21b551cSPhilippe Mathieu-Daudé */ 101e21b551cSPhilippe Mathieu-Daudé fsc = 0x3f; 102e21b551cSPhilippe Mathieu-Daudé } 103e21b551cSPhilippe Mathieu-Daudé 104936a6b86SRichard Henderson *ret_fsc = fsc; 105936a6b86SRichard Henderson return fsr; 106936a6b86SRichard Henderson } 107936a6b86SRichard Henderson 1088905770bSMarc-André Lureau static G_NORETURN 1098905770bSMarc-André Lureau void arm_deliver_fault(ARMCPU *cpu, vaddr addr, 110936a6b86SRichard Henderson MMUAccessType access_type, 111936a6b86SRichard Henderson int mmu_idx, ARMMMUFaultInfo *fi) 112936a6b86SRichard Henderson { 113936a6b86SRichard Henderson CPUARMState *env = &cpu->env; 114936a6b86SRichard Henderson int target_el; 115936a6b86SRichard Henderson bool same_el; 116936a6b86SRichard Henderson uint32_t syn, exc, fsr, fsc; 117936a6b86SRichard Henderson 118936a6b86SRichard Henderson target_el = exception_target_el(env); 119936a6b86SRichard Henderson if (fi->stage2) { 120936a6b86SRichard Henderson target_el = 2; 121936a6b86SRichard Henderson env->cp15.hpfar_el2 = extract64(fi->s2addr, 12, 47) << 4; 122936a6b86SRichard Henderson if (arm_is_secure_below_el3(env) && fi->s1ns) { 123936a6b86SRichard Henderson env->cp15.hpfar_el2 |= HPFAR_NS; 124936a6b86SRichard Henderson } 125936a6b86SRichard Henderson } 126936a6b86SRichard Henderson same_el = (arm_current_el(env) == target_el); 127936a6b86SRichard Henderson 128936a6b86SRichard Henderson fsr = compute_fsr_fsc(env, fi, target_el, mmu_idx, &fsc); 129936a6b86SRichard Henderson 130e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_INST_FETCH) { 131e21b551cSPhilippe Mathieu-Daudé syn = syn_insn_abort(same_el, fi->ea, fi->s1ptw, fsc); 132e21b551cSPhilippe Mathieu-Daudé exc = EXCP_PREFETCH_ABORT; 133e21b551cSPhilippe Mathieu-Daudé } else { 134e21b551cSPhilippe Mathieu-Daudé syn = merge_syn_data_abort(env->exception.syndrome, target_el, 135e21b551cSPhilippe Mathieu-Daudé same_el, fi->ea, fi->s1ptw, 136e21b551cSPhilippe Mathieu-Daudé access_type == MMU_DATA_STORE, 137e21b551cSPhilippe Mathieu-Daudé fsc); 138e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_DATA_STORE 139e21b551cSPhilippe Mathieu-Daudé && arm_feature(env, ARM_FEATURE_V6)) { 140e21b551cSPhilippe Mathieu-Daudé fsr |= (1 << 11); 141e21b551cSPhilippe Mathieu-Daudé } 142e21b551cSPhilippe Mathieu-Daudé exc = EXCP_DATA_ABORT; 143e21b551cSPhilippe Mathieu-Daudé } 144e21b551cSPhilippe Mathieu-Daudé 145e21b551cSPhilippe Mathieu-Daudé env->exception.vaddress = addr; 146e21b551cSPhilippe Mathieu-Daudé env->exception.fsr = fsr; 147e21b551cSPhilippe Mathieu-Daudé raise_exception(env, exc, syn, target_el); 148e21b551cSPhilippe Mathieu-Daudé } 149e21b551cSPhilippe Mathieu-Daudé 150e21b551cSPhilippe Mathieu-Daudé /* Raise a data fault alignment exception for the specified virtual address */ 151e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 152e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 153e21b551cSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 154e21b551cSPhilippe Mathieu-Daudé { 155e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 156e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 157e21b551cSPhilippe Mathieu-Daudé 158e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 159e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 160e21b551cSPhilippe Mathieu-Daudé 161e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_Alignment; 162e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, vaddr, access_type, mmu_idx, &fi); 163e21b551cSPhilippe Mathieu-Daudé } 164e21b551cSPhilippe Mathieu-Daudé 165ee03027aSRichard Henderson void helper_exception_pc_alignment(CPUARMState *env, target_ulong pc) 166ee03027aSRichard Henderson { 167ee03027aSRichard Henderson ARMMMUFaultInfo fi = { .type = ARMFault_Alignment }; 168ee03027aSRichard Henderson int target_el = exception_target_el(env); 169ee03027aSRichard Henderson int mmu_idx = cpu_mmu_index(env, true); 170ee03027aSRichard Henderson uint32_t fsc; 171ee03027aSRichard Henderson 172ee03027aSRichard Henderson env->exception.vaddress = pc; 173ee03027aSRichard Henderson 174ee03027aSRichard Henderson /* 175ee03027aSRichard Henderson * Note that the fsc is not applicable to this exception, 176ee03027aSRichard Henderson * since any syndrome is pcalignment not insn_abort. 177ee03027aSRichard Henderson */ 178ee03027aSRichard Henderson env->exception.fsr = compute_fsr_fsc(env, &fi, target_el, mmu_idx, &fsc); 179ee03027aSRichard Henderson raise_exception(env, EXCP_PREFETCH_ABORT, syn_pcalignment(), target_el); 180ee03027aSRichard Henderson } 181ee03027aSRichard Henderson 1820d1762e9SRichard Henderson #if !defined(CONFIG_USER_ONLY) 1830d1762e9SRichard Henderson 184e21b551cSPhilippe Mathieu-Daudé /* 185e21b551cSPhilippe Mathieu-Daudé * arm_cpu_do_transaction_failed: handle a memory system error response 186e21b551cSPhilippe Mathieu-Daudé * (eg "no device/memory present at address") by raising an external abort 187e21b551cSPhilippe Mathieu-Daudé * exception 188e21b551cSPhilippe Mathieu-Daudé */ 189e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, 190e21b551cSPhilippe Mathieu-Daudé vaddr addr, unsigned size, 191e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 192e21b551cSPhilippe Mathieu-Daudé int mmu_idx, MemTxAttrs attrs, 193e21b551cSPhilippe Mathieu-Daudé MemTxResult response, uintptr_t retaddr) 194e21b551cSPhilippe Mathieu-Daudé { 195e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 196e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 197e21b551cSPhilippe Mathieu-Daudé 198e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 199e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 200e21b551cSPhilippe Mathieu-Daudé 201e21b551cSPhilippe Mathieu-Daudé fi.ea = arm_extabort_type(response); 202e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_SyncExternal; 203e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, addr, access_type, mmu_idx, &fi); 204e21b551cSPhilippe Mathieu-Daudé } 205e21b551cSPhilippe Mathieu-Daudé 206e21b551cSPhilippe Mathieu-Daudé bool arm_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 207e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 208e21b551cSPhilippe Mathieu-Daudé bool probe, uintptr_t retaddr) 209e21b551cSPhilippe Mathieu-Daudé { 210e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 2118db94ab4SRichard Henderson ARMMMUFaultInfo fi = {}; 212e21b551cSPhilippe Mathieu-Daudé hwaddr phys_addr; 213e21b551cSPhilippe Mathieu-Daudé target_ulong page_size; 214e21b551cSPhilippe Mathieu-Daudé int prot, ret; 215e21b551cSPhilippe Mathieu-Daudé MemTxAttrs attrs = {}; 2167e98e21cSRichard Henderson ARMCacheAttrs cacheattrs = {}; 217e21b551cSPhilippe Mathieu-Daudé 218e21b551cSPhilippe Mathieu-Daudé /* 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), 2267e98e21cSRichard Henderson &phys_addr, &attrs, &prot, &page_size, 2277e98e21cSRichard Henderson &fi, &cacheattrs); 228e21b551cSPhilippe Mathieu-Daudé if (likely(!ret)) { 229e21b551cSPhilippe Mathieu-Daudé /* 230e21b551cSPhilippe Mathieu-Daudé * Map a single [sub]page. Regions smaller than our declared 231e21b551cSPhilippe Mathieu-Daudé * target page size are handled specially, so for those we 232e21b551cSPhilippe Mathieu-Daudé * pass in the exact addresses. 233e21b551cSPhilippe Mathieu-Daudé */ 234e21b551cSPhilippe Mathieu-Daudé if (page_size >= TARGET_PAGE_SIZE) { 235e21b551cSPhilippe Mathieu-Daudé phys_addr &= TARGET_PAGE_MASK; 236e21b551cSPhilippe Mathieu-Daudé address &= TARGET_PAGE_MASK; 237e21b551cSPhilippe Mathieu-Daudé } 238337a03f0SRichard Henderson /* Notice and record tagged memory. */ 239337a03f0SRichard Henderson if (cpu_isar_feature(aa64_mte, cpu) && cacheattrs.attrs == 0xf0) { 240337a03f0SRichard Henderson arm_tlb_mte_tagged(&attrs) = true; 241337a03f0SRichard Henderson } 242337a03f0SRichard Henderson 243e21b551cSPhilippe Mathieu-Daudé tlb_set_page_with_attrs(cs, address, phys_addr, attrs, 244e21b551cSPhilippe Mathieu-Daudé prot, mmu_idx, page_size); 245e21b551cSPhilippe Mathieu-Daudé return true; 246e21b551cSPhilippe Mathieu-Daudé } else if (probe) { 247e21b551cSPhilippe Mathieu-Daudé return false; 248e21b551cSPhilippe Mathieu-Daudé } else { 249e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 250e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 251e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, address, access_type, mmu_idx, &fi); 252e21b551cSPhilippe Mathieu-Daudé } 253e21b551cSPhilippe Mathieu-Daudé } 2549b12b6b4SRichard Henderson #else 2559b12b6b4SRichard Henderson void arm_cpu_record_sigsegv(CPUState *cs, vaddr addr, 2569b12b6b4SRichard Henderson MMUAccessType access_type, 2579b12b6b4SRichard Henderson bool maperr, uintptr_t ra) 2589b12b6b4SRichard Henderson { 2599b12b6b4SRichard Henderson ARMMMUFaultInfo fi = { 2609b12b6b4SRichard Henderson .type = maperr ? ARMFault_Translation : ARMFault_Permission, 2619b12b6b4SRichard Henderson .level = 3, 2629b12b6b4SRichard Henderson }; 2639b12b6b4SRichard Henderson ARMCPU *cpu = ARM_CPU(cs); 2649b12b6b4SRichard Henderson 2659b12b6b4SRichard Henderson /* 2669b12b6b4SRichard Henderson * We report both ESR and FAR to signal handlers. 2679b12b6b4SRichard Henderson * For now, it's easiest to deliver the fault normally. 2689b12b6b4SRichard Henderson */ 2699b12b6b4SRichard Henderson cpu_restore_state(cs, ra, true); 2709b12b6b4SRichard Henderson arm_deliver_fault(cpu, addr, access_type, MMU_USER_IDX, &fi); 2719b12b6b4SRichard Henderson } 27239a099caSRichard Henderson 27339a099caSRichard Henderson void arm_cpu_record_sigbus(CPUState *cs, vaddr addr, 27439a099caSRichard Henderson MMUAccessType access_type, uintptr_t ra) 27539a099caSRichard Henderson { 27639a099caSRichard Henderson arm_cpu_do_unaligned_access(cs, addr, access_type, MMU_USER_IDX, ra); 27739a099caSRichard Henderson } 2789b12b6b4SRichard Henderson #endif /* !defined(CONFIG_USER_ONLY) */ 279