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" 12e21b551cSPhilippe Mathieu-Daudé 13e21b551cSPhilippe Mathieu-Daudé static inline uint32_t merge_syn_data_abort(uint32_t template_syn, 14e21b551cSPhilippe Mathieu-Daudé unsigned int target_el, 15e21b551cSPhilippe Mathieu-Daudé bool same_el, bool ea, 16e21b551cSPhilippe Mathieu-Daudé bool s1ptw, bool is_write, 17e21b551cSPhilippe Mathieu-Daudé int fsc) 18e21b551cSPhilippe Mathieu-Daudé { 19e21b551cSPhilippe Mathieu-Daudé uint32_t syn; 20e21b551cSPhilippe Mathieu-Daudé 21e21b551cSPhilippe Mathieu-Daudé /* 22e21b551cSPhilippe Mathieu-Daudé * ISV is only set for data aborts routed to EL2 and 23e21b551cSPhilippe Mathieu-Daudé * never for stage-1 page table walks faulting on stage 2. 24e21b551cSPhilippe Mathieu-Daudé * 25e21b551cSPhilippe Mathieu-Daudé * Furthermore, ISV is only set for certain kinds of load/stores. 26e21b551cSPhilippe Mathieu-Daudé * If the template syndrome does not have ISV set, we should leave 27e21b551cSPhilippe Mathieu-Daudé * it cleared. 28e21b551cSPhilippe Mathieu-Daudé * 29e21b551cSPhilippe Mathieu-Daudé * See ARMv8 specs, D7-1974: 30e21b551cSPhilippe Mathieu-Daudé * ISS encoding for an exception from a Data Abort, the 31e21b551cSPhilippe Mathieu-Daudé * ISV field. 32e21b551cSPhilippe Mathieu-Daudé */ 33e21b551cSPhilippe Mathieu-Daudé if (!(template_syn & ARM_EL_ISV) || target_el != 2 || s1ptw) { 34e24fd076SDongjiu Geng syn = syn_data_abort_no_iss(same_el, 0, 35e21b551cSPhilippe Mathieu-Daudé ea, 0, s1ptw, is_write, fsc); 36e21b551cSPhilippe Mathieu-Daudé } else { 37e21b551cSPhilippe Mathieu-Daudé /* 38e21b551cSPhilippe Mathieu-Daudé * Fields: IL, ISV, SAS, SSE, SRT, SF and AR come from the template 39e21b551cSPhilippe Mathieu-Daudé * syndrome created at translation time. 40e21b551cSPhilippe Mathieu-Daudé * Now we create the runtime syndrome with the remaining fields. 41e21b551cSPhilippe Mathieu-Daudé */ 42e21b551cSPhilippe Mathieu-Daudé syn = syn_data_abort_with_iss(same_el, 43e21b551cSPhilippe Mathieu-Daudé 0, 0, 0, 0, 0, 44e21b551cSPhilippe Mathieu-Daudé ea, 0, s1ptw, is_write, fsc, 4530d54483SJeff Kubascik true); 46e21b551cSPhilippe Mathieu-Daudé /* Merge the runtime syndrome with the template syndrome. */ 47e21b551cSPhilippe Mathieu-Daudé syn |= template_syn; 48e21b551cSPhilippe Mathieu-Daudé } 49e21b551cSPhilippe Mathieu-Daudé return syn; 50e21b551cSPhilippe Mathieu-Daudé } 51e21b551cSPhilippe Mathieu-Daudé 52e21b551cSPhilippe Mathieu-Daudé static void QEMU_NORETURN arm_deliver_fault(ARMCPU *cpu, vaddr addr, 53e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 54e21b551cSPhilippe Mathieu-Daudé int mmu_idx, ARMMMUFaultInfo *fi) 55e21b551cSPhilippe Mathieu-Daudé { 56e21b551cSPhilippe Mathieu-Daudé CPUARMState *env = &cpu->env; 57e21b551cSPhilippe Mathieu-Daudé int target_el; 58e21b551cSPhilippe Mathieu-Daudé bool same_el; 59e21b551cSPhilippe Mathieu-Daudé uint32_t syn, exc, fsr, fsc; 60e21b551cSPhilippe Mathieu-Daudé ARMMMUIdx arm_mmu_idx = core_to_arm_mmu_idx(env, mmu_idx); 61e21b551cSPhilippe Mathieu-Daudé 62e21b551cSPhilippe Mathieu-Daudé target_el = exception_target_el(env); 63e21b551cSPhilippe Mathieu-Daudé if (fi->stage2) { 64e21b551cSPhilippe Mathieu-Daudé target_el = 2; 65e21b551cSPhilippe Mathieu-Daudé env->cp15.hpfar_el2 = extract64(fi->s2addr, 12, 47) << 4; 669861248fSRémi Denis-Courmont if (arm_is_secure_below_el3(env) && fi->s1ns) { 679861248fSRémi Denis-Courmont env->cp15.hpfar_el2 |= HPFAR_NS; 689861248fSRémi Denis-Courmont } 69e21b551cSPhilippe Mathieu-Daudé } 70e21b551cSPhilippe Mathieu-Daudé same_el = (arm_current_el(env) == target_el); 71e21b551cSPhilippe Mathieu-Daudé 72e21b551cSPhilippe Mathieu-Daudé if (target_el == 2 || arm_el_is_aa64(env, target_el) || 73e21b551cSPhilippe Mathieu-Daudé arm_s1_regime_using_lpae_format(env, arm_mmu_idx)) { 74e21b551cSPhilippe Mathieu-Daudé /* 75e21b551cSPhilippe Mathieu-Daudé * LPAE format fault status register : bottom 6 bits are 76e21b551cSPhilippe Mathieu-Daudé * status code in the same form as needed for syndrome 77e21b551cSPhilippe Mathieu-Daudé */ 78e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_lfsc(fi); 79e21b551cSPhilippe Mathieu-Daudé fsc = extract32(fsr, 0, 6); 80e21b551cSPhilippe Mathieu-Daudé } else { 81e21b551cSPhilippe Mathieu-Daudé fsr = arm_fi_to_sfsc(fi); 82e21b551cSPhilippe Mathieu-Daudé /* 83e21b551cSPhilippe Mathieu-Daudé * Short format FSR : this fault will never actually be reported 84e21b551cSPhilippe Mathieu-Daudé * to an EL that uses a syndrome register. Use a (currently) 85e21b551cSPhilippe Mathieu-Daudé * reserved FSR code in case the constructed syndrome does leak 86e21b551cSPhilippe Mathieu-Daudé * into the guest somehow. 87e21b551cSPhilippe Mathieu-Daudé */ 88e21b551cSPhilippe Mathieu-Daudé fsc = 0x3f; 89e21b551cSPhilippe Mathieu-Daudé } 90e21b551cSPhilippe Mathieu-Daudé 91e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_INST_FETCH) { 92e21b551cSPhilippe Mathieu-Daudé syn = syn_insn_abort(same_el, fi->ea, fi->s1ptw, fsc); 93e21b551cSPhilippe Mathieu-Daudé exc = EXCP_PREFETCH_ABORT; 94e21b551cSPhilippe Mathieu-Daudé } else { 95e21b551cSPhilippe Mathieu-Daudé syn = merge_syn_data_abort(env->exception.syndrome, target_el, 96e21b551cSPhilippe Mathieu-Daudé same_el, fi->ea, fi->s1ptw, 97e21b551cSPhilippe Mathieu-Daudé access_type == MMU_DATA_STORE, 98e21b551cSPhilippe Mathieu-Daudé fsc); 99e21b551cSPhilippe Mathieu-Daudé if (access_type == MMU_DATA_STORE 100e21b551cSPhilippe Mathieu-Daudé && arm_feature(env, ARM_FEATURE_V6)) { 101e21b551cSPhilippe Mathieu-Daudé fsr |= (1 << 11); 102e21b551cSPhilippe Mathieu-Daudé } 103e21b551cSPhilippe Mathieu-Daudé exc = EXCP_DATA_ABORT; 104e21b551cSPhilippe Mathieu-Daudé } 105e21b551cSPhilippe Mathieu-Daudé 106e21b551cSPhilippe Mathieu-Daudé env->exception.vaddress = addr; 107e21b551cSPhilippe Mathieu-Daudé env->exception.fsr = fsr; 108e21b551cSPhilippe Mathieu-Daudé raise_exception(env, exc, syn, target_el); 109e21b551cSPhilippe Mathieu-Daudé } 110e21b551cSPhilippe Mathieu-Daudé 111e21b551cSPhilippe Mathieu-Daudé /* Raise a data fault alignment exception for the specified virtual address */ 112e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 113e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 114e21b551cSPhilippe Mathieu-Daudé int mmu_idx, uintptr_t retaddr) 115e21b551cSPhilippe Mathieu-Daudé { 116e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 117e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 118e21b551cSPhilippe Mathieu-Daudé 119e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 120e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 121e21b551cSPhilippe Mathieu-Daudé 122e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_Alignment; 123e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, vaddr, access_type, mmu_idx, &fi); 124e21b551cSPhilippe Mathieu-Daudé } 125e21b551cSPhilippe Mathieu-Daudé 1260d1762e9SRichard Henderson #if !defined(CONFIG_USER_ONLY) 1270d1762e9SRichard Henderson 128e21b551cSPhilippe Mathieu-Daudé /* 129e21b551cSPhilippe Mathieu-Daudé * arm_cpu_do_transaction_failed: handle a memory system error response 130e21b551cSPhilippe Mathieu-Daudé * (eg "no device/memory present at address") by raising an external abort 131e21b551cSPhilippe Mathieu-Daudé * exception 132e21b551cSPhilippe Mathieu-Daudé */ 133e21b551cSPhilippe Mathieu-Daudé void arm_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, 134e21b551cSPhilippe Mathieu-Daudé vaddr addr, unsigned size, 135e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, 136e21b551cSPhilippe Mathieu-Daudé int mmu_idx, MemTxAttrs attrs, 137e21b551cSPhilippe Mathieu-Daudé MemTxResult response, uintptr_t retaddr) 138e21b551cSPhilippe Mathieu-Daudé { 139e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 140e21b551cSPhilippe Mathieu-Daudé ARMMMUFaultInfo fi = {}; 141e21b551cSPhilippe Mathieu-Daudé 142e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 143e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 144e21b551cSPhilippe Mathieu-Daudé 145e21b551cSPhilippe Mathieu-Daudé fi.ea = arm_extabort_type(response); 146e21b551cSPhilippe Mathieu-Daudé fi.type = ARMFault_SyncExternal; 147e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, addr, access_type, mmu_idx, &fi); 148e21b551cSPhilippe Mathieu-Daudé } 149e21b551cSPhilippe Mathieu-Daudé 150e21b551cSPhilippe Mathieu-Daudé #endif /* !defined(CONFIG_USER_ONLY) */ 151e21b551cSPhilippe Mathieu-Daudé 152e21b551cSPhilippe Mathieu-Daudé bool arm_cpu_tlb_fill(CPUState *cs, vaddr address, int size, 153e21b551cSPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 154e21b551cSPhilippe Mathieu-Daudé bool probe, uintptr_t retaddr) 155e21b551cSPhilippe Mathieu-Daudé { 156e21b551cSPhilippe Mathieu-Daudé ARMCPU *cpu = ARM_CPU(cs); 157*8db94ab4SRichard Henderson ARMMMUFaultInfo fi = {}; 158e21b551cSPhilippe Mathieu-Daudé 159e21b551cSPhilippe Mathieu-Daudé #ifdef CONFIG_USER_ONLY 160*8db94ab4SRichard Henderson int flags = page_get_flags(useronly_clean_ptr(address)); 161*8db94ab4SRichard Henderson if (flags & PAGE_VALID) { 162*8db94ab4SRichard Henderson fi.type = ARMFault_Permission; 163e21b551cSPhilippe Mathieu-Daudé } else { 164*8db94ab4SRichard Henderson fi.type = ARMFault_Translation; 165e21b551cSPhilippe Mathieu-Daudé } 166*8db94ab4SRichard Henderson 167*8db94ab4SRichard Henderson /* now we have a real cpu fault */ 168*8db94ab4SRichard Henderson cpu_restore_state(cs, retaddr, true); 169*8db94ab4SRichard Henderson arm_deliver_fault(cpu, address, access_type, mmu_idx, &fi); 170e21b551cSPhilippe Mathieu-Daudé #else 171e21b551cSPhilippe Mathieu-Daudé hwaddr phys_addr; 172e21b551cSPhilippe Mathieu-Daudé target_ulong page_size; 173e21b551cSPhilippe Mathieu-Daudé int prot, ret; 174e21b551cSPhilippe Mathieu-Daudé MemTxAttrs attrs = {}; 1757e98e21cSRichard Henderson ARMCacheAttrs cacheattrs = {}; 176e21b551cSPhilippe Mathieu-Daudé 177e21b551cSPhilippe Mathieu-Daudé /* 178e21b551cSPhilippe Mathieu-Daudé * Walk the page table and (if the mapping exists) add the page 179e21b551cSPhilippe Mathieu-Daudé * to the TLB. On success, return true. Otherwise, if probing, 180e21b551cSPhilippe Mathieu-Daudé * return false. Otherwise populate fsr with ARM DFSR/IFSR fault 181e21b551cSPhilippe Mathieu-Daudé * register format, and signal the fault. 182e21b551cSPhilippe Mathieu-Daudé */ 183e21b551cSPhilippe Mathieu-Daudé ret = get_phys_addr(&cpu->env, address, access_type, 184e21b551cSPhilippe Mathieu-Daudé core_to_arm_mmu_idx(&cpu->env, mmu_idx), 1857e98e21cSRichard Henderson &phys_addr, &attrs, &prot, &page_size, 1867e98e21cSRichard Henderson &fi, &cacheattrs); 187e21b551cSPhilippe Mathieu-Daudé if (likely(!ret)) { 188e21b551cSPhilippe Mathieu-Daudé /* 189e21b551cSPhilippe Mathieu-Daudé * Map a single [sub]page. Regions smaller than our declared 190e21b551cSPhilippe Mathieu-Daudé * target page size are handled specially, so for those we 191e21b551cSPhilippe Mathieu-Daudé * pass in the exact addresses. 192e21b551cSPhilippe Mathieu-Daudé */ 193e21b551cSPhilippe Mathieu-Daudé if (page_size >= TARGET_PAGE_SIZE) { 194e21b551cSPhilippe Mathieu-Daudé phys_addr &= TARGET_PAGE_MASK; 195e21b551cSPhilippe Mathieu-Daudé address &= TARGET_PAGE_MASK; 196e21b551cSPhilippe Mathieu-Daudé } 197337a03f0SRichard Henderson /* Notice and record tagged memory. */ 198337a03f0SRichard Henderson if (cpu_isar_feature(aa64_mte, cpu) && cacheattrs.attrs == 0xf0) { 199337a03f0SRichard Henderson arm_tlb_mte_tagged(&attrs) = true; 200337a03f0SRichard Henderson } 201337a03f0SRichard Henderson 202e21b551cSPhilippe Mathieu-Daudé tlb_set_page_with_attrs(cs, address, phys_addr, attrs, 203e21b551cSPhilippe Mathieu-Daudé prot, mmu_idx, page_size); 204e21b551cSPhilippe Mathieu-Daudé return true; 205e21b551cSPhilippe Mathieu-Daudé } else if (probe) { 206e21b551cSPhilippe Mathieu-Daudé return false; 207e21b551cSPhilippe Mathieu-Daudé } else { 208e21b551cSPhilippe Mathieu-Daudé /* now we have a real cpu fault */ 209e21b551cSPhilippe Mathieu-Daudé cpu_restore_state(cs, retaddr, true); 210e21b551cSPhilippe Mathieu-Daudé arm_deliver_fault(cpu, address, access_type, mmu_idx, &fi); 211e21b551cSPhilippe Mathieu-Daudé } 212e21b551cSPhilippe Mathieu-Daudé #endif 213e21b551cSPhilippe Mathieu-Daudé } 214