xref: /qemu/target/riscv/op_helper.c (revision 42fa9665e598c268a7ccfab5b92636618d9574ec)
10c3e702aSMichael Clark /*
20c3e702aSMichael Clark  * RISC-V Emulation Helpers for QEMU.
30c3e702aSMichael Clark  *
40c3e702aSMichael Clark  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
50c3e702aSMichael Clark  * Copyright (c) 2017-2018 SiFive, Inc.
6a939c500SChristoph Muellner  * Copyright (c) 2022      VRULL GmbH
70c3e702aSMichael Clark  *
80c3e702aSMichael Clark  * This program is free software; you can redistribute it and/or modify it
90c3e702aSMichael Clark  * under the terms and conditions of the GNU General Public License,
100c3e702aSMichael Clark  * version 2 or later, as published by the Free Software Foundation.
110c3e702aSMichael Clark  *
120c3e702aSMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
130c3e702aSMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
140c3e702aSMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
150c3e702aSMichael Clark  * more details.
160c3e702aSMichael Clark  *
170c3e702aSMichael Clark  * You should have received a copy of the GNU General Public License along with
180c3e702aSMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
190c3e702aSMichael Clark  */
200c3e702aSMichael Clark 
210c3e702aSMichael Clark #include "qemu/osdep.h"
220c3e702aSMichael Clark #include "cpu.h"
23c8f8a995SFei Wu #include "internals.h"
240c3e702aSMichael Clark #include "exec/exec-all.h"
256ff5da16SPhilippe Mathieu-Daudé #include "exec/cputlb.h"
26*42fa9665SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ldst.h"
270c3e702aSMichael Clark #include "exec/helper-proto.h"
284d43552aSPierrick Bouvier #include "exec/tlb-flags.h"
298f1a1289SDaniel Henrique Barboza #include "trace.h"
300c3e702aSMichael Clark 
310c3e702aSMichael Clark /* Exceptions processing helpers */
328905770bSMarc-André Lureau G_NORETURN void riscv_raise_exception(CPURISCVState *env,
33e2dca2dcSDaniel Henrique Barboza                                       RISCVException exception,
34e2dca2dcSDaniel Henrique Barboza                                       uintptr_t pc)
350c3e702aSMichael Clark {
363109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
378f1a1289SDaniel Henrique Barboza 
388f1a1289SDaniel Henrique Barboza     trace_riscv_exception(exception,
398f1a1289SDaniel Henrique Barboza                           riscv_cpu_get_trap_name(exception, false),
408f1a1289SDaniel Henrique Barboza                           env->pc);
418f1a1289SDaniel Henrique Barboza 
420c3e702aSMichael Clark     cs->exception_index = exception;
430c3e702aSMichael Clark     cpu_loop_exit_restore(cs, pc);
440c3e702aSMichael Clark }
450c3e702aSMichael Clark 
460c3e702aSMichael Clark void helper_raise_exception(CPURISCVState *env, uint32_t exception)
470c3e702aSMichael Clark {
48fb738839SMichael Clark     riscv_raise_exception(env, exception, 0);
490c3e702aSMichael Clark }
500c3e702aSMichael Clark 
51a974879bSRichard Henderson target_ulong helper_csrr(CPURISCVState *env, int csr)
520c3e702aSMichael Clark {
5377442380SWeiwei Li     /*
5477442380SWeiwei Li      * The seed CSR must be accessed with a read-write instruction. A
5577442380SWeiwei Li      * read-only instruction such as CSRRS/CSRRC with rs1=x0 or CSRRSI/
5677442380SWeiwei Li      * CSRRCI with uimm=0 will raise an illegal instruction exception.
5777442380SWeiwei Li      */
5877442380SWeiwei Li     if (csr == CSR_SEED) {
5977442380SWeiwei Li         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
6077442380SWeiwei Li     }
6177442380SWeiwei Li 
62c7b95171SMichael Clark     target_ulong val = 0;
6338c83e8dSYu-Ming Chang     RISCVException ret = riscv_csrr(env, csr, &val);
6457cb2083SAlistair Francis 
65533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
66533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
67c7b95171SMichael Clark     }
68c7b95171SMichael Clark     return val;
690c3e702aSMichael Clark }
700c3e702aSMichael Clark 
71a974879bSRichard Henderson void helper_csrw(CPURISCVState *env, int csr, target_ulong src)
720c3e702aSMichael Clark {
7383b519b8SLIU Zhiwei     target_ulong mask = env->xl == MXL_RV32 ? UINT32_MAX : (target_ulong)-1;
7483b519b8SLIU Zhiwei     RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask);
7557cb2083SAlistair Francis 
76533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
77533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
780c3e702aSMichael Clark     }
790c3e702aSMichael Clark }
800c3e702aSMichael Clark 
81a974879bSRichard Henderson target_ulong helper_csrrw(CPURISCVState *env, int csr,
82a974879bSRichard Henderson                           target_ulong src, target_ulong write_mask)
830c3e702aSMichael Clark {
84c7b95171SMichael Clark     target_ulong val = 0;
85a974879bSRichard Henderson     RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask);
8657cb2083SAlistair Francis 
87533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
88533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
890c3e702aSMichael Clark     }
90c7b95171SMichael Clark     return val;
910c3e702aSMichael Clark }
920c3e702aSMichael Clark 
93961738ffSFrédéric Pétrot target_ulong helper_csrr_i128(CPURISCVState *env, int csr)
94961738ffSFrédéric Pétrot {
95961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
9638c83e8dSYu-Ming Chang     RISCVException ret = riscv_csrr_i128(env, csr, &rv);
97961738ffSFrédéric Pétrot 
98961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
99961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
100961738ffSFrédéric Pétrot     }
101961738ffSFrédéric Pétrot 
102961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
103961738ffSFrédéric Pétrot     return int128_getlo(rv);
104961738ffSFrédéric Pétrot }
105961738ffSFrédéric Pétrot 
106961738ffSFrédéric Pétrot void helper_csrw_i128(CPURISCVState *env, int csr,
107961738ffSFrédéric Pétrot                       target_ulong srcl, target_ulong srch)
108961738ffSFrédéric Pétrot {
109961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, NULL,
110961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
111961738ffSFrédéric Pétrot                                           UINT128_MAX);
112961738ffSFrédéric Pétrot 
113961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
114961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
115961738ffSFrédéric Pétrot     }
116961738ffSFrédéric Pétrot }
117961738ffSFrédéric Pétrot 
118961738ffSFrédéric Pétrot target_ulong helper_csrrw_i128(CPURISCVState *env, int csr,
119961738ffSFrédéric Pétrot                        target_ulong srcl, target_ulong srch,
120961738ffSFrédéric Pétrot                        target_ulong maskl, target_ulong maskh)
121961738ffSFrédéric Pétrot {
122961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
123961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, &rv,
124961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
125961738ffSFrédéric Pétrot                                           int128_make128(maskl, maskh));
126961738ffSFrédéric Pétrot 
127961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
128961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
129961738ffSFrédéric Pétrot     }
130961738ffSFrédéric Pétrot 
131961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
132961738ffSFrédéric Pétrot     return int128_getlo(rv);
133961738ffSFrédéric Pétrot }
134961738ffSFrédéric Pétrot 
135a939c500SChristoph Muellner 
136a939c500SChristoph Muellner /*
137a939c500SChristoph Muellner  * check_zicbo_envcfg
138a939c500SChristoph Muellner  *
139a939c500SChristoph Muellner  * Raise virtual exceptions and illegal instruction exceptions for
140a939c500SChristoph Muellner  * Zicbo[mz] instructions based on the settings of [mhs]envcfg as
141a939c500SChristoph Muellner  * specified in section 2.5.1 of the CMO specification.
142a939c500SChristoph Muellner  */
143a939c500SChristoph Muellner static void check_zicbo_envcfg(CPURISCVState *env, target_ulong envbits,
144a939c500SChristoph Muellner                                 uintptr_t ra)
145a939c500SChristoph Muellner {
146a939c500SChristoph Muellner #ifndef CONFIG_USER_ONLY
147a939c500SChristoph Muellner     if ((env->priv < PRV_M) && !get_field(env->menvcfg, envbits)) {
148a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
149a939c500SChristoph Muellner     }
150a939c500SChristoph Muellner 
15138256529SWeiwei Li     if (env->virt_enabled &&
15244b8f74bSWeiwei Li         (((env->priv <= PRV_S) && !get_field(env->henvcfg, envbits)) ||
153a939c500SChristoph Muellner          ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)))) {
154a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
155a939c500SChristoph Muellner     }
156a939c500SChristoph Muellner 
157a939c500SChristoph Muellner     if ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)) {
158a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
159a939c500SChristoph Muellner     }
160a939c500SChristoph Muellner #endif
161a939c500SChristoph Muellner }
162a939c500SChristoph Muellner 
163a939c500SChristoph Muellner void helper_cbo_zero(CPURISCVState *env, target_ulong address)
164a939c500SChristoph Muellner {
165a939c500SChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
166a939c500SChristoph Muellner     uint16_t cbozlen = cpu->cfg.cboz_blocksize;
167d9996d09SRichard Henderson     int mmu_idx = riscv_env_mmu_index(env, false);
168a939c500SChristoph Muellner     uintptr_t ra = GETPC();
169a939c500SChristoph Muellner     void *mem;
170a939c500SChristoph Muellner 
171a939c500SChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBZE, ra);
172a939c500SChristoph Muellner 
173a939c500SChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
174a939c500SChristoph Muellner     address &= ~(cbozlen - 1);
175a939c500SChristoph Muellner 
176a939c500SChristoph Muellner     /*
177a939c500SChristoph Muellner      * cbo.zero requires MMU_DATA_STORE access. Do a probe_write()
178a939c500SChristoph Muellner      * to raise any exceptions, including PMP.
179a939c500SChristoph Muellner      */
180a939c500SChristoph Muellner     mem = probe_write(env, address, cbozlen, mmu_idx, ra);
181a939c500SChristoph Muellner 
182a939c500SChristoph Muellner     if (likely(mem)) {
183a939c500SChristoph Muellner         memset(mem, 0, cbozlen);
184a939c500SChristoph Muellner     } else {
185a939c500SChristoph Muellner         /*
186a939c500SChristoph Muellner          * This means that we're dealing with an I/O page. Section 4.2
187a939c500SChristoph Muellner          * of cmobase v1.0.1 says:
188a939c500SChristoph Muellner          *
189a939c500SChristoph Muellner          * "Cache-block zero instructions store zeros independently
190a939c500SChristoph Muellner          * of whether data from the underlying memory locations are
191a939c500SChristoph Muellner          * cacheable."
192a939c500SChristoph Muellner          *
193a939c500SChristoph Muellner          * Write zeros in address + cbozlen regardless of not being
194a939c500SChristoph Muellner          * a RAM page.
195a939c500SChristoph Muellner          */
196a939c500SChristoph Muellner         for (int i = 0; i < cbozlen; i++) {
197a939c500SChristoph Muellner             cpu_stb_mmuidx_ra(env, address + i, 0, mmu_idx, ra);
198a939c500SChristoph Muellner         }
199a939c500SChristoph Muellner     }
200a939c500SChristoph Muellner }
201a939c500SChristoph Muellner 
202e05da09bSChristoph Muellner /*
203e05da09bSChristoph Muellner  * check_zicbom_access
204e05da09bSChristoph Muellner  *
205e05da09bSChristoph Muellner  * Check access permissions (LOAD, STORE or FETCH as specified in
206e05da09bSChristoph Muellner  * section 2.5.2 of the CMO specification) for Zicbom, raising
207e05da09bSChristoph Muellner  * either store page-fault (non-virtualized) or store guest-page
208e05da09bSChristoph Muellner  * fault (virtualized).
209e05da09bSChristoph Muellner  */
210e05da09bSChristoph Muellner static void check_zicbom_access(CPURISCVState *env,
211e05da09bSChristoph Muellner                                 target_ulong address,
212e05da09bSChristoph Muellner                                 uintptr_t ra)
213e05da09bSChristoph Muellner {
214e05da09bSChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
215d9996d09SRichard Henderson     int mmu_idx = riscv_env_mmu_index(env, false);
216e05da09bSChristoph Muellner     uint16_t cbomlen = cpu->cfg.cbom_blocksize;
217e05da09bSChristoph Muellner     void *phost;
218e05da09bSChristoph Muellner     int ret;
219e05da09bSChristoph Muellner 
220e05da09bSChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
221e05da09bSChristoph Muellner     address &= ~(cbomlen - 1);
222e05da09bSChristoph Muellner 
223e05da09bSChristoph Muellner     /*
224e05da09bSChristoph Muellner      * Section 2.5.2 of cmobase v1.0.1:
225e05da09bSChristoph Muellner      *
226e05da09bSChristoph Muellner      * "A cache-block management instruction is permitted to
227e05da09bSChristoph Muellner      * access the specified cache block whenever a load instruction
228e05da09bSChristoph Muellner      * or store instruction is permitted to access the corresponding
229e05da09bSChristoph Muellner      * physical addresses. If neither a load instruction nor store
230e05da09bSChristoph Muellner      * instruction is permitted to access the physical addresses,
231e05da09bSChristoph Muellner      * but an instruction fetch is permitted to access the physical
232e05da09bSChristoph Muellner      * addresses, whether a cache-block management instruction is
233e05da09bSChristoph Muellner      * permitted to access the cache block is UNSPECIFIED."
234e05da09bSChristoph Muellner      */
235e05da09bSChristoph Muellner     ret = probe_access_flags(env, address, cbomlen, MMU_DATA_LOAD,
236e05da09bSChristoph Muellner                              mmu_idx, true, &phost, ra);
237e05da09bSChristoph Muellner     if (ret != TLB_INVALID_MASK) {
238e05da09bSChristoph Muellner         /* Success: readable */
239e05da09bSChristoph Muellner         return;
240e05da09bSChristoph Muellner     }
241e05da09bSChristoph Muellner 
242e05da09bSChristoph Muellner     /*
243e05da09bSChristoph Muellner      * Since not readable, must be writable. On failure, store
244e05da09bSChristoph Muellner      * fault/store guest amo fault will be raised by
245e05da09bSChristoph Muellner      * riscv_cpu_tlb_fill(). PMP exceptions will be caught
246e05da09bSChristoph Muellner      * there as well.
247e05da09bSChristoph Muellner      */
248e05da09bSChristoph Muellner     probe_write(env, address, cbomlen, mmu_idx, ra);
249e05da09bSChristoph Muellner }
250e05da09bSChristoph Muellner 
251e05da09bSChristoph Muellner void helper_cbo_clean_flush(CPURISCVState *env, target_ulong address)
252e05da09bSChristoph Muellner {
253e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
254e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBCFE, ra);
255e05da09bSChristoph Muellner     check_zicbom_access(env, address, ra);
256e05da09bSChristoph Muellner 
257e05da09bSChristoph Muellner     /* We don't emulate the cache-hierarchy, so we're done. */
258e05da09bSChristoph Muellner }
259e05da09bSChristoph Muellner 
260e05da09bSChristoph Muellner void helper_cbo_inval(CPURISCVState *env, target_ulong address)
261e05da09bSChristoph Muellner {
262e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
263e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBIE, ra);
264e05da09bSChristoph Muellner     check_zicbom_access(env, address, ra);
265e05da09bSChristoph Muellner 
266e05da09bSChristoph Muellner     /* We don't emulate the cache-hierarchy, so we're done. */
267e05da09bSChristoph Muellner }
268e05da09bSChristoph Muellner 
2690c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
2700c3e702aSMichael Clark 
271b655dc7cSLIU Zhiwei target_ulong helper_sret(CPURISCVState *env)
2720c3e702aSMichael Clark {
273284d697cSYifei Jiang     uint64_t mstatus;
27468c05fb5SRajnesh Kanwal     target_ulong prev_priv, prev_virt = env->virt_enabled;
2754ff7a27aSRajnesh Kanwal     const target_ulong src_priv = env->priv;
2764ff7a27aSRajnesh Kanwal     const bool src_virt = env->virt_enabled;
277e3fba4baSAlistair Francis 
2780c3e702aSMichael Clark     if (!(env->priv >= PRV_S)) {
279fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2800c3e702aSMichael Clark     }
2810c3e702aSMichael Clark 
2820c3e702aSMichael Clark     target_ulong retpc = env->sepc;
283ffe4db11SYu-Ming Chang     if (!riscv_cpu_allow_16bit_insn(&env_archcpu(env)->cfg,
284ffe4db11SYu-Ming Chang                                     env->priv_ver,
285ffe4db11SYu-Ming Chang                                     env->misa_ext) && (retpc & 0x3)) {
286fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
2870c3e702aSMichael Clark     }
2880c3e702aSMichael Clark 
2891a9540d1SAlistair Francis     if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
290fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2917f2b5ff1SMichael Clark     }
2927f2b5ff1SMichael Clark 
29338256529SWeiwei Li     if (env->virt_enabled && get_field(env->hstatus, HSTATUS_VTSR)) {
294e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
295e39a8320SAlistair Francis     }
296e39a8320SAlistair Francis 
297e3fba4baSAlistair Francis     mstatus = env->mstatus;
2982bfec53bSBin Meng     prev_priv = get_field(mstatus, MSTATUS_SPP);
2992bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SIE,
3002bfec53bSBin Meng                         get_field(mstatus, MSTATUS_SPIE));
3012bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
3022bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
30372d71d87SClément Léger 
30472d71d87SClément Léger     if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
30572d71d87SClément Léger         if (riscv_has_ext(env, RVH)) {
30672d71d87SClément Léger             target_ulong prev_vu = get_field(env->hstatus, HSTATUS_SPV) &&
30772d71d87SClément Léger                                    prev_priv == PRV_U;
30872d71d87SClément Léger             /* Returning to VU from HS, vsstatus.sdt = 0 */
30972d71d87SClément Léger             if (!env->virt_enabled && prev_vu) {
31072d71d87SClément Léger                 env->vsstatus = set_field(env->vsstatus, MSTATUS_SDT, 0);
31172d71d87SClément Léger             }
31272d71d87SClément Léger         }
31372d71d87SClément Léger         mstatus = set_field(mstatus, MSTATUS_SDT, 0);
31472d71d87SClément Léger     }
315f2efb6e7SClément Léger     if (riscv_cpu_cfg(env)->ext_smdbltrp && env->priv >= PRV_M) {
316f2efb6e7SClément Léger         mstatus = set_field(mstatus, MSTATUS_MDT, 0);
317f2efb6e7SClément Léger     }
3180ff430a5SBin Meng     if (env->priv_ver >= PRIV_VERSION_1_12_0) {
3190ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
3200ff430a5SBin Meng     }
3212bfec53bSBin Meng     env->mstatus = mstatus;
322e3fba4baSAlistair Francis 
32338256529SWeiwei Li     if (riscv_has_ext(env, RVH) && !env->virt_enabled) {
324e3fba4baSAlistair Francis         /* We support Hypervisor extensions and virtulisation is disabled */
325e3fba4baSAlistair Francis         target_ulong hstatus = env->hstatus;
326e3fba4baSAlistair Francis 
327e3fba4baSAlistair Francis         prev_virt = get_field(hstatus, HSTATUS_SPV);
328f2d5850fSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV, 0);
329e3fba4baSAlistair Francis 
330e3fba4baSAlistair Francis         env->hstatus = hstatus;
331e3fba4baSAlistair Francis 
332e3fba4baSAlistair Francis         if (prev_virt) {
333e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
334e3fba4baSAlistair Francis         }
335e3fba4baSAlistair Francis     }
336e3fba4baSAlistair Francis 
33768c05fb5SRajnesh Kanwal     riscv_cpu_set_mode(env, prev_priv, prev_virt);
3380c3e702aSMichael Clark 
33953309be1SDeepak Gupta     /*
34053309be1SDeepak Gupta      * If forward cfi enabled for new priv, restore elp status
34153309be1SDeepak Gupta      * and clear spelp in mstatus
34253309be1SDeepak Gupta      */
34353309be1SDeepak Gupta     if (cpu_get_fcfien(env)) {
34453309be1SDeepak Gupta         env->elp = get_field(env->mstatus, MSTATUS_SPELP);
34553309be1SDeepak Gupta     }
34653309be1SDeepak Gupta     env->mstatus = set_field(env->mstatus, MSTATUS_SPELP, 0);
34753309be1SDeepak Gupta 
3484ff7a27aSRajnesh Kanwal     if (riscv_cpu_cfg(env)->ext_smctr || riscv_cpu_cfg(env)->ext_ssctr) {
3494ff7a27aSRajnesh Kanwal         riscv_ctr_add_entry(env, env->pc, retpc, CTRDATA_TYPE_EXCEP_INT_RET,
3504ff7a27aSRajnesh Kanwal                             src_priv, src_virt);
3514ff7a27aSRajnesh Kanwal     }
3524ff7a27aSRajnesh Kanwal 
3530c3e702aSMichael Clark     return retpc;
3540c3e702aSMichael Clark }
3550c3e702aSMichael Clark 
3563157a553STommy Wu static void check_ret_from_m_mode(CPURISCVState *env, target_ulong retpc,
3573157a553STommy Wu                                   target_ulong prev_priv)
3580c3e702aSMichael Clark {
3590c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
360fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3610c3e702aSMichael Clark     }
3620c3e702aSMichael Clark 
363ffe4db11SYu-Ming Chang     if (!riscv_cpu_allow_16bit_insn(&env_archcpu(env)->cfg,
364ffe4db11SYu-Ming Chang                                     env->priv_ver,
365ffe4db11SYu-Ming Chang                                     env->misa_ext) && (retpc & 0x3)) {
366fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
3670c3e702aSMichael Clark     }
3680c3e702aSMichael Clark 
3693fe40ef5SDaniel Henrique Barboza     if (riscv_cpu_cfg(env)->pmp &&
3700fbb5d2dSNikita Shubin         !pmp_get_num_rules(env) && (prev_priv != PRV_M)) {
3714c48aad1SBin Meng         riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
372d102f19aSAtish Patra     }
3733157a553STommy Wu }
37472d71d87SClément Léger static target_ulong ssdbltrp_mxret(CPURISCVState *env, target_ulong mstatus,
37572d71d87SClément Léger                                    target_ulong prev_priv,
37672d71d87SClément Léger                                    target_ulong prev_virt)
37772d71d87SClément Léger {
37872d71d87SClément Léger     /* If returning to U, VS or VU, sstatus.sdt = 0 */
37972d71d87SClément Léger     if (prev_priv == PRV_U || (prev_virt &&
38072d71d87SClément Léger         (prev_priv == PRV_S || prev_priv == PRV_U))) {
38172d71d87SClément Léger         mstatus = set_field(mstatus, MSTATUS_SDT, 0);
38272d71d87SClément Léger         /* If returning to VU, vsstatus.sdt = 0 */
38372d71d87SClément Léger         if (prev_virt && prev_priv == PRV_U) {
38472d71d87SClément Léger             env->vsstatus = set_field(env->vsstatus, MSTATUS_SDT, 0);
38572d71d87SClément Léger         }
38672d71d87SClément Léger     }
38772d71d87SClément Léger 
38872d71d87SClément Léger     return mstatus;
38972d71d87SClément Léger }
3903157a553STommy Wu 
3913157a553STommy Wu target_ulong helper_mret(CPURISCVState *env)
3923157a553STommy Wu {
3933157a553STommy Wu     target_ulong retpc = env->mepc;
3943157a553STommy Wu     uint64_t mstatus = env->mstatus;
3953157a553STommy Wu     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
3963157a553STommy Wu 
3973157a553STommy Wu     check_ret_from_m_mode(env, retpc, prev_priv);
398d102f19aSAtish Patra 
399869d76f2SWeiwei Li     target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV) &&
400869d76f2SWeiwei Li                              (prev_priv != PRV_M);
4011a9540d1SAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MIE,
4020c3e702aSMichael Clark                         get_field(mstatus, MSTATUS_MPIE));
403a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
40404803c3dSWeiwei Li     mstatus = set_field(mstatus, MSTATUS_MPP,
40504803c3dSWeiwei Li                         riscv_has_ext(env, RVU) ? PRV_U : PRV_M);
406e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
40772d71d87SClément Léger     if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
40872d71d87SClément Léger         mstatus = ssdbltrp_mxret(env, mstatus, prev_priv, prev_virt);
40972d71d87SClément Léger     }
410f2efb6e7SClément Léger     if (riscv_cpu_cfg(env)->ext_smdbltrp) {
411f2efb6e7SClément Léger         mstatus = set_field(mstatus, MSTATUS_MDT, 0);
412f2efb6e7SClément Léger     }
4130ff430a5SBin Meng     if ((env->priv_ver >= PRIV_VERSION_1_12_0) && (prev_priv != PRV_M)) {
4140ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
4150ff430a5SBin Meng     }
416c7b95171SMichael Clark     env->mstatus = mstatus;
417e3fba4baSAlistair Francis 
41868c05fb5SRajnesh Kanwal     if (riscv_has_ext(env, RVH) && prev_virt) {
419e3fba4baSAlistair Francis         riscv_cpu_swap_hypervisor_regs(env);
420e3fba4baSAlistair Francis     }
421e3fba4baSAlistair Francis 
42268c05fb5SRajnesh Kanwal     riscv_cpu_set_mode(env, prev_priv, prev_virt);
42353309be1SDeepak Gupta     /*
42453309be1SDeepak Gupta      * If forward cfi enabled for new priv, restore elp status
42553309be1SDeepak Gupta      * and clear mpelp in mstatus
42653309be1SDeepak Gupta      */
42753309be1SDeepak Gupta     if (cpu_get_fcfien(env)) {
42853309be1SDeepak Gupta         env->elp = get_field(env->mstatus, MSTATUS_MPELP);
42953309be1SDeepak Gupta     }
43053309be1SDeepak Gupta     env->mstatus = set_field(env->mstatus, MSTATUS_MPELP, 0);
4310c3e702aSMichael Clark 
4324ff7a27aSRajnesh Kanwal     if (riscv_cpu_cfg(env)->ext_smctr || riscv_cpu_cfg(env)->ext_ssctr) {
4334ff7a27aSRajnesh Kanwal         riscv_ctr_add_entry(env, env->pc, retpc, CTRDATA_TYPE_EXCEP_INT_RET,
4344ff7a27aSRajnesh Kanwal                             PRV_M, false);
4354ff7a27aSRajnesh Kanwal     }
4364ff7a27aSRajnesh Kanwal 
4370c3e702aSMichael Clark     return retpc;
4380c3e702aSMichael Clark }
4390c3e702aSMichael Clark 
4403157a553STommy Wu target_ulong helper_mnret(CPURISCVState *env)
4413157a553STommy Wu {
4423157a553STommy Wu     target_ulong retpc = env->mnepc;
4433157a553STommy Wu     target_ulong prev_priv = get_field(env->mnstatus, MNSTATUS_MNPP);
4443157a553STommy Wu     target_ulong prev_virt;
4453157a553STommy Wu 
4463157a553STommy Wu     check_ret_from_m_mode(env, retpc, prev_priv);
4473157a553STommy Wu 
4483157a553STommy Wu     prev_virt = get_field(env->mnstatus, MNSTATUS_MNPV) &&
4493157a553STommy Wu                 (prev_priv != PRV_M);
4503157a553STommy Wu     env->mnstatus = set_field(env->mnstatus, MNSTATUS_NMIE, true);
4513157a553STommy Wu 
4523157a553STommy Wu     /*
4533157a553STommy Wu      * If MNRET changes the privilege mode to a mode
4543157a553STommy Wu      * less privileged than M, it also sets mstatus.MPRV to 0.
4553157a553STommy Wu      */
4563157a553STommy Wu     if (prev_priv < PRV_M) {
4573157a553STommy Wu         env->mstatus = set_field(env->mstatus, MSTATUS_MPRV, false);
4583157a553STommy Wu     }
45972d71d87SClément Léger     if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
46072d71d87SClément Léger         env->mstatus = ssdbltrp_mxret(env, env->mstatus, prev_priv, prev_virt);
46172d71d87SClément Léger     }
4623157a553STommy Wu 
463f2efb6e7SClément Léger     if (riscv_cpu_cfg(env)->ext_smdbltrp) {
464f2efb6e7SClément Léger         if (prev_priv < PRV_M) {
465f2efb6e7SClément Léger             env->mstatus = set_field(env->mstatus, MSTATUS_MDT, 0);
466f2efb6e7SClément Léger         }
467f2efb6e7SClément Léger     }
468f2efb6e7SClément Léger 
4693157a553STommy Wu     if (riscv_has_ext(env, RVH) && prev_virt) {
4703157a553STommy Wu         riscv_cpu_swap_hypervisor_regs(env);
4713157a553STommy Wu     }
4723157a553STommy Wu 
4733157a553STommy Wu     riscv_cpu_set_mode(env, prev_priv, prev_virt);
4743157a553STommy Wu 
4750266fd8bSFrank Chang     /*
4760266fd8bSFrank Chang      * If forward cfi enabled for new priv, restore elp status
4770266fd8bSFrank Chang      * and clear mnpelp in mnstatus
4780266fd8bSFrank Chang      */
4790266fd8bSFrank Chang     if (cpu_get_fcfien(env)) {
4800266fd8bSFrank Chang         env->elp = get_field(env->mnstatus, MNSTATUS_MNPELP);
4810266fd8bSFrank Chang     }
4820266fd8bSFrank Chang     env->mnstatus = set_field(env->mnstatus, MNSTATUS_MNPELP, 0);
4830266fd8bSFrank Chang 
4843157a553STommy Wu     return retpc;
4853157a553STommy Wu }
4863157a553STommy Wu 
4874ff7a27aSRajnesh Kanwal void helper_ctr_add_entry(CPURISCVState *env, target_ulong src,
4884ff7a27aSRajnesh Kanwal                           target_ulong dest, target_ulong type)
4894ff7a27aSRajnesh Kanwal {
4904ff7a27aSRajnesh Kanwal     riscv_ctr_add_entry(env, src, dest, (enum CTRType)type,
4914ff7a27aSRajnesh Kanwal                         env->priv, env->virt_enabled);
4924ff7a27aSRajnesh Kanwal }
4934ff7a27aSRajnesh Kanwal 
4949e69e760SRajnesh Kanwal void helper_ctr_clear(CPURISCVState *env)
4959e69e760SRajnesh Kanwal {
4969e69e760SRajnesh Kanwal     /*
4979e69e760SRajnesh Kanwal      * It's safe to call smstateen_acc_ok() for umode access regardless of the
4989e69e760SRajnesh Kanwal      * state of bit 54 (CTR bit in case of m/hstateen) of sstateen. If the bit
4999e69e760SRajnesh Kanwal      * is zero, smstateen_acc_ok() will return the correct exception code and
5009e69e760SRajnesh Kanwal      * if it's one, smstateen_acc_ok() will return RISCV_EXCP_NONE. In that
5019e69e760SRajnesh Kanwal      * scenario the U-mode check below will handle that case.
5029e69e760SRajnesh Kanwal      */
5039e69e760SRajnesh Kanwal     RISCVException ret = smstateen_acc_ok(env, 0, SMSTATEEN0_CTR);
5049e69e760SRajnesh Kanwal     if (ret != RISCV_EXCP_NONE) {
5059e69e760SRajnesh Kanwal         riscv_raise_exception(env, ret, GETPC());
5069e69e760SRajnesh Kanwal     }
5079e69e760SRajnesh Kanwal 
5089e69e760SRajnesh Kanwal     if (env->priv == PRV_U) {
5099e69e760SRajnesh Kanwal         /*
5109e69e760SRajnesh Kanwal          * One corner case is when sctrclr is executed from VU-mode and
5119e69e760SRajnesh Kanwal          * mstateen.CTR = 0, in which case we are supposed to raise
5129e69e760SRajnesh Kanwal          * RISCV_EXCP_ILLEGAL_INST. This case is already handled in
5139e69e760SRajnesh Kanwal          * smstateen_acc_ok().
5149e69e760SRajnesh Kanwal          */
5159e69e760SRajnesh Kanwal         uint32_t excep = env->virt_enabled ? RISCV_EXCP_VIRT_INSTRUCTION_FAULT :
5169e69e760SRajnesh Kanwal             RISCV_EXCP_ILLEGAL_INST;
5179e69e760SRajnesh Kanwal         riscv_raise_exception(env, excep, GETPC());
5189e69e760SRajnesh Kanwal     }
5199e69e760SRajnesh Kanwal 
5209e69e760SRajnesh Kanwal     riscv_ctr_clear(env);
5219e69e760SRajnesh Kanwal }
5229e69e760SRajnesh Kanwal 
5230c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
5240c3e702aSMichael Clark {
5253109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
526719f0f60SJose Martins     bool rvs = riscv_has_ext(env, RVS);
527719f0f60SJose Martins     bool prv_u = env->priv == PRV_U;
528719f0f60SJose Martins     bool prv_s = env->priv == PRV_S;
5290c3e702aSMichael Clark 
530719f0f60SJose Martins     if (((prv_s || (!rvs && prv_u)) && get_field(env->mstatus, MSTATUS_TW)) ||
53138256529SWeiwei Li         (rvs && prv_u && !env->virt_enabled)) {
532719f0f60SJose Martins         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
533c45eff30SWeiwei Li     } else if (env->virt_enabled &&
534c45eff30SWeiwei Li                (prv_u || (prv_s && get_field(env->hstatus, HSTATUS_VTW)))) {
535e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
5367f2b5ff1SMichael Clark     } else {
5370c3e702aSMichael Clark         cs->halted = 1;
5380c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
5390c3e702aSMichael Clark         cpu_loop_exit(cs);
5400c3e702aSMichael Clark     }
5417f2b5ff1SMichael Clark }
5420c3e702aSMichael Clark 
543b62e0ce7SAndrew Jones void helper_wrs_nto(CPURISCVState *env)
544b62e0ce7SAndrew Jones {
545b62e0ce7SAndrew Jones     if (env->virt_enabled && (env->priv == PRV_S || env->priv == PRV_U) &&
546b62e0ce7SAndrew Jones         get_field(env->hstatus, HSTATUS_VTW) &&
547b62e0ce7SAndrew Jones         !get_field(env->mstatus, MSTATUS_TW)) {
548b62e0ce7SAndrew Jones         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
549b62e0ce7SAndrew Jones     } else if (env->priv != PRV_M && get_field(env->mstatus, MSTATUS_TW)) {
550b62e0ce7SAndrew Jones         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
551b62e0ce7SAndrew Jones     }
552b62e0ce7SAndrew Jones }
553b62e0ce7SAndrew Jones 
5540c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
5550c3e702aSMichael Clark {
5563109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
557d6db7c97SYi Chen     if (!env->virt_enabled &&
558d6db7c97SYi Chen         (env->priv == PRV_U ||
559d6db7c97SYi Chen          (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_TVM)))) {
560fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
561d6db7c97SYi Chen     } else if (env->virt_enabled &&
562d6db7c97SYi Chen                (env->priv == PRV_U || get_field(env->hstatus, HSTATUS_VTVM))) {
563e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
5647f2b5ff1SMichael Clark     } else {
5650c3e702aSMichael Clark         tlb_flush(cs);
5660c3e702aSMichael Clark     }
5677f2b5ff1SMichael Clark }
5680c3e702aSMichael Clark 
569134c3ffaSChristoph Müllner void helper_tlb_flush_all(CPURISCVState *env)
570134c3ffaSChristoph Müllner {
571134c3ffaSChristoph Müllner     CPUState *cs = env_cpu(env);
572134c3ffaSChristoph Müllner     tlb_flush_all_cpus_synced(cs);
573134c3ffaSChristoph Müllner }
574134c3ffaSChristoph Müllner 
5752761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
5762761db5fSAlistair Francis {
5772761db5fSAlistair Francis     CPUState *cs = env_cpu(env);
5782761db5fSAlistair Francis 
579d6db7c97SYi Chen     if (env->virt_enabled) {
580e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
581e39a8320SAlistair Francis     }
582e39a8320SAlistair Francis 
5832761db5fSAlistair Francis     if (env->priv == PRV_M ||
58438256529SWeiwei Li         (env->priv == PRV_S && !env->virt_enabled)) {
5852761db5fSAlistair Francis         tlb_flush(cs);
5862761db5fSAlistair Francis         return;
5872761db5fSAlistair Francis     }
5882761db5fSAlistair Francis 
5892761db5fSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
5902761db5fSAlistair Francis }
5912761db5fSAlistair Francis 
592e39a8320SAlistair Francis void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
593e39a8320SAlistair Francis {
59438256529SWeiwei Li     if (env->priv == PRV_S && !env->virt_enabled &&
595e39a8320SAlistair Francis         get_field(env->mstatus, MSTATUS_TVM)) {
596e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
597e39a8320SAlistair Francis     }
598e39a8320SAlistair Francis 
599e39a8320SAlistair Francis     helper_hyp_tlb_flush(env);
600e39a8320SAlistair Francis }
601e39a8320SAlistair Francis 
6020f58cbbeSRichard Henderson static int check_access_hlsv(CPURISCVState *env, bool x, uintptr_t ra)
6030f58cbbeSRichard Henderson {
6040f58cbbeSRichard Henderson     if (env->priv == PRV_M) {
6050f58cbbeSRichard Henderson         /* always allowed */
6060f58cbbeSRichard Henderson     } else if (env->virt_enabled) {
6070f58cbbeSRichard Henderson         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
6080f58cbbeSRichard Henderson     } else if (env->priv == PRV_U && !get_field(env->hstatus, HSTATUS_HU)) {
6090f58cbbeSRichard Henderson         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
6100f58cbbeSRichard Henderson     }
6110f58cbbeSRichard Henderson 
612eaecd473SRichard Henderson     int mode = get_field(env->hstatus, HSTATUS_SPVP);
613eaecd473SRichard Henderson     if (!x && mode == PRV_S && get_field(env->vsstatus, MSTATUS_SUM)) {
614eaecd473SRichard Henderson         mode = MMUIdx_S_SUM;
615eaecd473SRichard Henderson     }
616eaecd473SRichard Henderson     return mode | MMU_2STAGE_BIT;
6170f58cbbeSRichard Henderson }
6180f58cbbeSRichard Henderson 
6190f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_bu(CPURISCVState *env, target_ulong addr)
6200f58cbbeSRichard Henderson {
6210f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6220f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6230f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
6240f58cbbeSRichard Henderson 
6254d160093SAlexey Baturo     return cpu_ldb_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6260f58cbbeSRichard Henderson }
6270f58cbbeSRichard Henderson 
6280f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_hu(CPURISCVState *env, target_ulong addr)
6290f58cbbeSRichard Henderson {
6300f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6310f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6320f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
6330f58cbbeSRichard Henderson 
6344d160093SAlexey Baturo     return cpu_ldw_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6350f58cbbeSRichard Henderson }
6360f58cbbeSRichard Henderson 
6370f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_wu(CPURISCVState *env, target_ulong addr)
6380f58cbbeSRichard Henderson {
6390f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6400f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6410f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
6420f58cbbeSRichard Henderson 
6434d160093SAlexey Baturo     return cpu_ldl_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6440f58cbbeSRichard Henderson }
6450f58cbbeSRichard Henderson 
6460f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_d(CPURISCVState *env, target_ulong addr)
6470f58cbbeSRichard Henderson {
6480f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6490f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6500f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
6510f58cbbeSRichard Henderson 
6524d160093SAlexey Baturo     return cpu_ldq_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6530f58cbbeSRichard Henderson }
6540f58cbbeSRichard Henderson 
6550f58cbbeSRichard Henderson void helper_hyp_hsv_b(CPURISCVState *env, target_ulong addr, target_ulong val)
6560f58cbbeSRichard Henderson {
6570f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6580f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6590f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
6600f58cbbeSRichard Henderson 
6614d160093SAlexey Baturo     cpu_stb_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6620f58cbbeSRichard Henderson }
6630f58cbbeSRichard Henderson 
6640f58cbbeSRichard Henderson void helper_hyp_hsv_h(CPURISCVState *env, target_ulong addr, target_ulong val)
6650f58cbbeSRichard Henderson {
6660f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6670f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6680f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
6690f58cbbeSRichard Henderson 
6704d160093SAlexey Baturo     cpu_stw_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6710f58cbbeSRichard Henderson }
6720f58cbbeSRichard Henderson 
6730f58cbbeSRichard Henderson void helper_hyp_hsv_w(CPURISCVState *env, target_ulong addr, target_ulong val)
6740f58cbbeSRichard Henderson {
6750f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6760f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6770f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
6780f58cbbeSRichard Henderson 
6794d160093SAlexey Baturo     cpu_stl_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6800f58cbbeSRichard Henderson }
6810f58cbbeSRichard Henderson 
6820f58cbbeSRichard Henderson void helper_hyp_hsv_d(CPURISCVState *env, target_ulong addr, target_ulong val)
6830f58cbbeSRichard Henderson {
6840f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6850f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
6860f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
6870f58cbbeSRichard Henderson 
6884d160093SAlexey Baturo     cpu_stq_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6890f58cbbeSRichard Henderson }
6900f58cbbeSRichard Henderson 
691a7f112c5SRichard Henderson /*
692a7f112c5SRichard Henderson  * TODO: These implementations are not quite correct.  They perform the
693a7f112c5SRichard Henderson  * access using execute permission just fine, but the final PMP check
694a7f112c5SRichard Henderson  * is supposed to have read permission as well.  Without replicating
695a7f112c5SRichard Henderson  * a fair fraction of cputlb.c, fixing this requires adding new mmu_idx
696a7f112c5SRichard Henderson  * which would imply that exact check in tlb_fill.
697a7f112c5SRichard Henderson  */
6980f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong addr)
6998c5362acSAlistair Francis {
7000f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
7010f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, true, ra);
702a7f112c5SRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
7038c5362acSAlistair Francis 
7040f58cbbeSRichard Henderson     return cpu_ldw_code_mmu(env, addr, oi, GETPC());
7058c5362acSAlistair Francis }
7068c5362acSAlistair Francis 
7070f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong addr)
7087687537aSAlistair Francis {
7090f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
7100f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, true, ra);
711a7f112c5SRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
7128c5362acSAlistair Francis 
7130f58cbbeSRichard Henderson     return cpu_ldl_code_mmu(env, addr, oi, ra);
7148c5362acSAlistair Francis }
7158c5362acSAlistair Francis 
7160c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
717