xref: /qemu/target/arm/tcg/tlb_helper.c (revision d7fe699be54b2cbb8e4ee37b63588b3458a49da7)
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