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"
246ff5da16SPhilippe Mathieu-Daudé #include "exec/cputlb.h"
2542fa9665SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ldst.h"
26fe1a3aceSPhilippe Mathieu-Daudé #include "accel/tcg/probe.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 */
riscv_raise_exception(CPURISCVState * env,RISCVException exception,uintptr_t pc)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
helper_raise_exception(CPURISCVState * env,uint32_t exception)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
helper_csrr(CPURISCVState * env,int csr)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
helper_csrw(CPURISCVState * env,int csr,target_ulong src)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;
74f1304836SRichard Henderson RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask, GETPC());
7557cb2083SAlistair Francis
76533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) {
77533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC());
780c3e702aSMichael Clark }
790c3e702aSMichael Clark }
800c3e702aSMichael Clark
helper_csrrw(CPURISCVState * env,int csr,target_ulong src,target_ulong write_mask)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;
85f1304836SRichard Henderson RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask, GETPC());
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
helper_csrr_i128(CPURISCVState * env,int csr)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
helper_csrw_i128(CPURISCVState * env,int csr,target_ulong srcl,target_ulong srch)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),
111*9ef792a7SRichard Henderson UINT128_MAX, GETPC());
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
helper_csrrw_i128(CPURISCVState * env,int csr,target_ulong srcl,target_ulong srch,target_ulong maskl,target_ulong maskh)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),
125*9ef792a7SRichard Henderson int128_make128(maskl, maskh),
126*9ef792a7SRichard Henderson GETPC());
127961738ffSFrédéric Pétrot
128961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) {
129961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC());
130961738ffSFrédéric Pétrot }
131961738ffSFrédéric Pétrot
132961738ffSFrédéric Pétrot env->retxh = int128_gethi(rv);
133961738ffSFrédéric Pétrot return int128_getlo(rv);
134961738ffSFrédéric Pétrot }
135961738ffSFrédéric Pétrot
136a939c500SChristoph Muellner
137a939c500SChristoph Muellner /*
138a939c500SChristoph Muellner * check_zicbo_envcfg
139a939c500SChristoph Muellner *
140a939c500SChristoph Muellner * Raise virtual exceptions and illegal instruction exceptions for
141a939c500SChristoph Muellner * Zicbo[mz] instructions based on the settings of [mhs]envcfg as
142a939c500SChristoph Muellner * specified in section 2.5.1 of the CMO specification.
143a939c500SChristoph Muellner */
check_zicbo_envcfg(CPURISCVState * env,target_ulong envbits,uintptr_t ra)144a939c500SChristoph Muellner static void check_zicbo_envcfg(CPURISCVState *env, target_ulong envbits,
145a939c500SChristoph Muellner uintptr_t ra)
146a939c500SChristoph Muellner {
147a939c500SChristoph Muellner #ifndef CONFIG_USER_ONLY
148a939c500SChristoph Muellner if ((env->priv < PRV_M) && !get_field(env->menvcfg, envbits)) {
149a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
150a939c500SChristoph Muellner }
151a939c500SChristoph Muellner
15238256529SWeiwei Li if (env->virt_enabled &&
15344b8f74bSWeiwei Li (((env->priv <= PRV_S) && !get_field(env->henvcfg, envbits)) ||
154a939c500SChristoph Muellner ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)))) {
155a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
156a939c500SChristoph Muellner }
157a939c500SChristoph Muellner
158a939c500SChristoph Muellner if ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)) {
159a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
160a939c500SChristoph Muellner }
161a939c500SChristoph Muellner #endif
162a939c500SChristoph Muellner }
163a939c500SChristoph Muellner
helper_cbo_zero(CPURISCVState * env,target_ulong address)164a939c500SChristoph Muellner void helper_cbo_zero(CPURISCVState *env, target_ulong address)
165a939c500SChristoph Muellner {
166a939c500SChristoph Muellner RISCVCPU *cpu = env_archcpu(env);
167a939c500SChristoph Muellner uint16_t cbozlen = cpu->cfg.cboz_blocksize;
168d9996d09SRichard Henderson int mmu_idx = riscv_env_mmu_index(env, false);
169a939c500SChristoph Muellner uintptr_t ra = GETPC();
170a939c500SChristoph Muellner void *mem;
171a939c500SChristoph Muellner
172a939c500SChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBZE, ra);
173a939c500SChristoph Muellner
174a939c500SChristoph Muellner /* Mask off low-bits to align-down to the cache-block. */
175a939c500SChristoph Muellner address &= ~(cbozlen - 1);
176a939c500SChristoph Muellner
177a939c500SChristoph Muellner /*
178a939c500SChristoph Muellner * cbo.zero requires MMU_DATA_STORE access. Do a probe_write()
179a939c500SChristoph Muellner * to raise any exceptions, including PMP.
180a939c500SChristoph Muellner */
181a939c500SChristoph Muellner mem = probe_write(env, address, cbozlen, mmu_idx, ra);
182a939c500SChristoph Muellner
183a939c500SChristoph Muellner if (likely(mem)) {
184a939c500SChristoph Muellner memset(mem, 0, cbozlen);
185a939c500SChristoph Muellner } else {
186a939c500SChristoph Muellner /*
187a939c500SChristoph Muellner * This means that we're dealing with an I/O page. Section 4.2
188a939c500SChristoph Muellner * of cmobase v1.0.1 says:
189a939c500SChristoph Muellner *
190a939c500SChristoph Muellner * "Cache-block zero instructions store zeros independently
191a939c500SChristoph Muellner * of whether data from the underlying memory locations are
192a939c500SChristoph Muellner * cacheable."
193a939c500SChristoph Muellner *
194a939c500SChristoph Muellner * Write zeros in address + cbozlen regardless of not being
195a939c500SChristoph Muellner * a RAM page.
196a939c500SChristoph Muellner */
197a939c500SChristoph Muellner for (int i = 0; i < cbozlen; i++) {
198a939c500SChristoph Muellner cpu_stb_mmuidx_ra(env, address + i, 0, mmu_idx, ra);
199a939c500SChristoph Muellner }
200a939c500SChristoph Muellner }
201a939c500SChristoph Muellner }
202a939c500SChristoph Muellner
203e05da09bSChristoph Muellner /*
204e05da09bSChristoph Muellner * check_zicbom_access
205e05da09bSChristoph Muellner *
206e05da09bSChristoph Muellner * Check access permissions (LOAD, STORE or FETCH as specified in
207e05da09bSChristoph Muellner * section 2.5.2 of the CMO specification) for Zicbom, raising
208e05da09bSChristoph Muellner * either store page-fault (non-virtualized) or store guest-page
209e05da09bSChristoph Muellner * fault (virtualized).
210e05da09bSChristoph Muellner */
check_zicbom_access(CPURISCVState * env,target_ulong address,uintptr_t ra)211e05da09bSChristoph Muellner static void check_zicbom_access(CPURISCVState *env,
212e05da09bSChristoph Muellner target_ulong address,
213e05da09bSChristoph Muellner uintptr_t ra)
214e05da09bSChristoph Muellner {
215e05da09bSChristoph Muellner RISCVCPU *cpu = env_archcpu(env);
216d9996d09SRichard Henderson int mmu_idx = riscv_env_mmu_index(env, false);
217e05da09bSChristoph Muellner uint16_t cbomlen = cpu->cfg.cbom_blocksize;
218e05da09bSChristoph Muellner void *phost;
219e05da09bSChristoph Muellner int ret;
220e05da09bSChristoph Muellner
221e05da09bSChristoph Muellner /* Mask off low-bits to align-down to the cache-block. */
222e05da09bSChristoph Muellner address &= ~(cbomlen - 1);
223e05da09bSChristoph Muellner
224e05da09bSChristoph Muellner /*
225e05da09bSChristoph Muellner * Section 2.5.2 of cmobase v1.0.1:
226e05da09bSChristoph Muellner *
227e05da09bSChristoph Muellner * "A cache-block management instruction is permitted to
228e05da09bSChristoph Muellner * access the specified cache block whenever a load instruction
229e05da09bSChristoph Muellner * or store instruction is permitted to access the corresponding
230e05da09bSChristoph Muellner * physical addresses. If neither a load instruction nor store
231e05da09bSChristoph Muellner * instruction is permitted to access the physical addresses,
232e05da09bSChristoph Muellner * but an instruction fetch is permitted to access the physical
233e05da09bSChristoph Muellner * addresses, whether a cache-block management instruction is
234e05da09bSChristoph Muellner * permitted to access the cache block is UNSPECIFIED."
235e05da09bSChristoph Muellner */
236e05da09bSChristoph Muellner ret = probe_access_flags(env, address, cbomlen, MMU_DATA_LOAD,
237e05da09bSChristoph Muellner mmu_idx, true, &phost, ra);
238e05da09bSChristoph Muellner if (ret != TLB_INVALID_MASK) {
239e05da09bSChristoph Muellner /* Success: readable */
240e05da09bSChristoph Muellner return;
241e05da09bSChristoph Muellner }
242e05da09bSChristoph Muellner
243e05da09bSChristoph Muellner /*
244e05da09bSChristoph Muellner * Since not readable, must be writable. On failure, store
245e05da09bSChristoph Muellner * fault/store guest amo fault will be raised by
246e05da09bSChristoph Muellner * riscv_cpu_tlb_fill(). PMP exceptions will be caught
247e05da09bSChristoph Muellner * there as well.
248e05da09bSChristoph Muellner */
249e05da09bSChristoph Muellner probe_write(env, address, cbomlen, mmu_idx, ra);
250e05da09bSChristoph Muellner }
251e05da09bSChristoph Muellner
helper_cbo_clean_flush(CPURISCVState * env,target_ulong address)252e05da09bSChristoph Muellner void helper_cbo_clean_flush(CPURISCVState *env, target_ulong address)
253e05da09bSChristoph Muellner {
254e05da09bSChristoph Muellner uintptr_t ra = GETPC();
255e05da09bSChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBCFE, ra);
256e05da09bSChristoph Muellner check_zicbom_access(env, address, ra);
257e05da09bSChristoph Muellner
258e05da09bSChristoph Muellner /* We don't emulate the cache-hierarchy, so we're done. */
259e05da09bSChristoph Muellner }
260e05da09bSChristoph Muellner
helper_cbo_inval(CPURISCVState * env,target_ulong address)261e05da09bSChristoph Muellner void helper_cbo_inval(CPURISCVState *env, target_ulong address)
262e05da09bSChristoph Muellner {
263e05da09bSChristoph Muellner uintptr_t ra = GETPC();
264e05da09bSChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBIE, ra);
265e05da09bSChristoph Muellner check_zicbom_access(env, address, ra);
266e05da09bSChristoph Muellner
267e05da09bSChristoph Muellner /* We don't emulate the cache-hierarchy, so we're done. */
268e05da09bSChristoph Muellner }
269e05da09bSChristoph Muellner
2700c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
2710c3e702aSMichael Clark
helper_sret(CPURISCVState * env)272b655dc7cSLIU Zhiwei target_ulong helper_sret(CPURISCVState *env)
2730c3e702aSMichael Clark {
274284d697cSYifei Jiang uint64_t mstatus;
27568c05fb5SRajnesh Kanwal target_ulong prev_priv, prev_virt = env->virt_enabled;
2764ff7a27aSRajnesh Kanwal const target_ulong src_priv = env->priv;
2774ff7a27aSRajnesh Kanwal const bool src_virt = env->virt_enabled;
278e3fba4baSAlistair Francis
2790c3e702aSMichael Clark if (!(env->priv >= PRV_S)) {
280fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2810c3e702aSMichael Clark }
2820c3e702aSMichael Clark
2830c3e702aSMichael Clark target_ulong retpc = env->sepc;
284ffe4db11SYu-Ming Chang if (!riscv_cpu_allow_16bit_insn(&env_archcpu(env)->cfg,
285ffe4db11SYu-Ming Chang env->priv_ver,
286ffe4db11SYu-Ming Chang env->misa_ext) && (retpc & 0x3)) {
287fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
2880c3e702aSMichael Clark }
2890c3e702aSMichael Clark
2901a9540d1SAlistair Francis if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
291fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2927f2b5ff1SMichael Clark }
2937f2b5ff1SMichael Clark
29438256529SWeiwei Li if (env->virt_enabled && get_field(env->hstatus, HSTATUS_VTSR)) {
295e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
296e39a8320SAlistair Francis }
297e39a8320SAlistair Francis
298e3fba4baSAlistair Francis mstatus = env->mstatus;
2992bfec53bSBin Meng prev_priv = get_field(mstatus, MSTATUS_SPP);
3002bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SIE,
3012bfec53bSBin Meng get_field(mstatus, MSTATUS_SPIE));
3022bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
3032bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
30472d71d87SClément Léger
30572d71d87SClément Léger if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
30672d71d87SClément Léger if (riscv_has_ext(env, RVH)) {
30772d71d87SClément Léger target_ulong prev_vu = get_field(env->hstatus, HSTATUS_SPV) &&
30872d71d87SClément Léger prev_priv == PRV_U;
30972d71d87SClément Léger /* Returning to VU from HS, vsstatus.sdt = 0 */
31072d71d87SClément Léger if (!env->virt_enabled && prev_vu) {
31172d71d87SClément Léger env->vsstatus = set_field(env->vsstatus, MSTATUS_SDT, 0);
31272d71d87SClément Léger }
31372d71d87SClément Léger }
31472d71d87SClément Léger mstatus = set_field(mstatus, MSTATUS_SDT, 0);
31572d71d87SClément Léger }
316f2efb6e7SClément Léger if (riscv_cpu_cfg(env)->ext_smdbltrp && env->priv >= PRV_M) {
317f2efb6e7SClément Léger mstatus = set_field(mstatus, MSTATUS_MDT, 0);
318f2efb6e7SClément Léger }
3190ff430a5SBin Meng if (env->priv_ver >= PRIV_VERSION_1_12_0) {
3200ff430a5SBin Meng mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
3210ff430a5SBin Meng }
3222bfec53bSBin Meng env->mstatus = mstatus;
323e3fba4baSAlistair Francis
32438256529SWeiwei Li if (riscv_has_ext(env, RVH) && !env->virt_enabled) {
325e3fba4baSAlistair Francis /* We support Hypervisor extensions and virtulisation is disabled */
326e3fba4baSAlistair Francis target_ulong hstatus = env->hstatus;
327e3fba4baSAlistair Francis
328e3fba4baSAlistair Francis prev_virt = get_field(hstatus, HSTATUS_SPV);
329f2d5850fSAlistair Francis hstatus = set_field(hstatus, HSTATUS_SPV, 0);
330e3fba4baSAlistair Francis
331e3fba4baSAlistair Francis env->hstatus = hstatus;
332e3fba4baSAlistair Francis
333e3fba4baSAlistair Francis if (prev_virt) {
334e3fba4baSAlistair Francis riscv_cpu_swap_hypervisor_regs(env);
335e3fba4baSAlistair Francis }
336e3fba4baSAlistair Francis }
337e3fba4baSAlistair Francis
33868c05fb5SRajnesh Kanwal riscv_cpu_set_mode(env, prev_priv, prev_virt);
3390c3e702aSMichael Clark
34053309be1SDeepak Gupta /*
34153309be1SDeepak Gupta * If forward cfi enabled for new priv, restore elp status
34253309be1SDeepak Gupta * and clear spelp in mstatus
34353309be1SDeepak Gupta */
34453309be1SDeepak Gupta if (cpu_get_fcfien(env)) {
34553309be1SDeepak Gupta env->elp = get_field(env->mstatus, MSTATUS_SPELP);
34653309be1SDeepak Gupta }
34753309be1SDeepak Gupta env->mstatus = set_field(env->mstatus, MSTATUS_SPELP, 0);
34853309be1SDeepak Gupta
3494ff7a27aSRajnesh Kanwal if (riscv_cpu_cfg(env)->ext_smctr || riscv_cpu_cfg(env)->ext_ssctr) {
3504ff7a27aSRajnesh Kanwal riscv_ctr_add_entry(env, env->pc, retpc, CTRDATA_TYPE_EXCEP_INT_RET,
3514ff7a27aSRajnesh Kanwal src_priv, src_virt);
3524ff7a27aSRajnesh Kanwal }
3534ff7a27aSRajnesh Kanwal
3540c3e702aSMichael Clark return retpc;
3550c3e702aSMichael Clark }
3560c3e702aSMichael Clark
check_ret_from_m_mode(CPURISCVState * env,target_ulong retpc,target_ulong prev_priv)3573157a553STommy Wu static void check_ret_from_m_mode(CPURISCVState *env, target_ulong retpc,
3583157a553STommy Wu target_ulong prev_priv)
3590c3e702aSMichael Clark {
3600c3e702aSMichael Clark if (!(env->priv >= PRV_M)) {
361fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3620c3e702aSMichael Clark }
3630c3e702aSMichael Clark
364ffe4db11SYu-Ming Chang if (!riscv_cpu_allow_16bit_insn(&env_archcpu(env)->cfg,
365ffe4db11SYu-Ming Chang env->priv_ver,
366ffe4db11SYu-Ming Chang env->misa_ext) && (retpc & 0x3)) {
367fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
3680c3e702aSMichael Clark }
3690c3e702aSMichael Clark
3703fe40ef5SDaniel Henrique Barboza if (riscv_cpu_cfg(env)->pmp &&
3710fbb5d2dSNikita Shubin !pmp_get_num_rules(env) && (prev_priv != PRV_M)) {
3724c48aad1SBin Meng riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
373d102f19aSAtish Patra }
3743157a553STommy Wu }
ssdbltrp_mxret(CPURISCVState * env,target_ulong mstatus,target_ulong prev_priv,target_ulong prev_virt)37572d71d87SClément Léger static target_ulong ssdbltrp_mxret(CPURISCVState *env, target_ulong mstatus,
37672d71d87SClément Léger target_ulong prev_priv,
37772d71d87SClément Léger target_ulong prev_virt)
37872d71d87SClément Léger {
37972d71d87SClément Léger /* If returning to U, VS or VU, sstatus.sdt = 0 */
38072d71d87SClément Léger if (prev_priv == PRV_U || (prev_virt &&
38172d71d87SClément Léger (prev_priv == PRV_S || prev_priv == PRV_U))) {
38272d71d87SClément Léger mstatus = set_field(mstatus, MSTATUS_SDT, 0);
38372d71d87SClément Léger /* If returning to VU, vsstatus.sdt = 0 */
38472d71d87SClément Léger if (prev_virt && prev_priv == PRV_U) {
38572d71d87SClément Léger env->vsstatus = set_field(env->vsstatus, MSTATUS_SDT, 0);
38672d71d87SClément Léger }
38772d71d87SClément Léger }
38872d71d87SClément Léger
38972d71d87SClément Léger return mstatus;
39072d71d87SClément Léger }
3913157a553STommy Wu
helper_mret(CPURISCVState * env)3923157a553STommy Wu target_ulong helper_mret(CPURISCVState *env)
3933157a553STommy Wu {
3943157a553STommy Wu target_ulong retpc = env->mepc;
3953157a553STommy Wu uint64_t mstatus = env->mstatus;
3963157a553STommy Wu target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
3973157a553STommy Wu
3983157a553STommy Wu check_ret_from_m_mode(env, retpc, prev_priv);
399d102f19aSAtish Patra
400869d76f2SWeiwei Li target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV) &&
401869d76f2SWeiwei Li (prev_priv != PRV_M);
4021a9540d1SAlistair Francis mstatus = set_field(mstatus, MSTATUS_MIE,
4030c3e702aSMichael Clark get_field(mstatus, MSTATUS_MPIE));
404a37f21c2SYiting Wang mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
40504803c3dSWeiwei Li mstatus = set_field(mstatus, MSTATUS_MPP,
40604803c3dSWeiwei Li riscv_has_ext(env, RVU) ? PRV_U : PRV_M);
407e3fba4baSAlistair Francis mstatus = set_field(mstatus, MSTATUS_MPV, 0);
40872d71d87SClément Léger if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
40972d71d87SClément Léger mstatus = ssdbltrp_mxret(env, mstatus, prev_priv, prev_virt);
41072d71d87SClément Léger }
411f2efb6e7SClément Léger if (riscv_cpu_cfg(env)->ext_smdbltrp) {
412f2efb6e7SClément Léger mstatus = set_field(mstatus, MSTATUS_MDT, 0);
413f2efb6e7SClément Léger }
4140ff430a5SBin Meng if ((env->priv_ver >= PRIV_VERSION_1_12_0) && (prev_priv != PRV_M)) {
4150ff430a5SBin Meng mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
4160ff430a5SBin Meng }
417c7b95171SMichael Clark env->mstatus = mstatus;
418e3fba4baSAlistair Francis
41968c05fb5SRajnesh Kanwal if (riscv_has_ext(env, RVH) && prev_virt) {
420e3fba4baSAlistair Francis riscv_cpu_swap_hypervisor_regs(env);
421e3fba4baSAlistair Francis }
422e3fba4baSAlistair Francis
42368c05fb5SRajnesh Kanwal riscv_cpu_set_mode(env, prev_priv, prev_virt);
42453309be1SDeepak Gupta /*
42553309be1SDeepak Gupta * If forward cfi enabled for new priv, restore elp status
42653309be1SDeepak Gupta * and clear mpelp in mstatus
42753309be1SDeepak Gupta */
42853309be1SDeepak Gupta if (cpu_get_fcfien(env)) {
42953309be1SDeepak Gupta env->elp = get_field(env->mstatus, MSTATUS_MPELP);
43053309be1SDeepak Gupta }
43153309be1SDeepak Gupta env->mstatus = set_field(env->mstatus, MSTATUS_MPELP, 0);
4320c3e702aSMichael Clark
4334ff7a27aSRajnesh Kanwal if (riscv_cpu_cfg(env)->ext_smctr || riscv_cpu_cfg(env)->ext_ssctr) {
4344ff7a27aSRajnesh Kanwal riscv_ctr_add_entry(env, env->pc, retpc, CTRDATA_TYPE_EXCEP_INT_RET,
4354ff7a27aSRajnesh Kanwal PRV_M, false);
4364ff7a27aSRajnesh Kanwal }
4374ff7a27aSRajnesh Kanwal
4380c3e702aSMichael Clark return retpc;
4390c3e702aSMichael Clark }
4400c3e702aSMichael Clark
helper_mnret(CPURISCVState * env)4413157a553STommy Wu target_ulong helper_mnret(CPURISCVState *env)
4423157a553STommy Wu {
4433157a553STommy Wu target_ulong retpc = env->mnepc;
4443157a553STommy Wu target_ulong prev_priv = get_field(env->mnstatus, MNSTATUS_MNPP);
4453157a553STommy Wu target_ulong prev_virt;
4463157a553STommy Wu
4473157a553STommy Wu check_ret_from_m_mode(env, retpc, prev_priv);
4483157a553STommy Wu
4493157a553STommy Wu prev_virt = get_field(env->mnstatus, MNSTATUS_MNPV) &&
4503157a553STommy Wu (prev_priv != PRV_M);
4513157a553STommy Wu env->mnstatus = set_field(env->mnstatus, MNSTATUS_NMIE, true);
4523157a553STommy Wu
4533157a553STommy Wu /*
4543157a553STommy Wu * If MNRET changes the privilege mode to a mode
4553157a553STommy Wu * less privileged than M, it also sets mstatus.MPRV to 0.
4563157a553STommy Wu */
4573157a553STommy Wu if (prev_priv < PRV_M) {
4583157a553STommy Wu env->mstatus = set_field(env->mstatus, MSTATUS_MPRV, false);
4593157a553STommy Wu }
46072d71d87SClément Léger if (riscv_cpu_cfg(env)->ext_ssdbltrp) {
46172d71d87SClément Léger env->mstatus = ssdbltrp_mxret(env, env->mstatus, prev_priv, prev_virt);
46272d71d87SClément Léger }
4633157a553STommy Wu
464f2efb6e7SClément Léger if (riscv_cpu_cfg(env)->ext_smdbltrp) {
465f2efb6e7SClément Léger if (prev_priv < PRV_M) {
466f2efb6e7SClément Léger env->mstatus = set_field(env->mstatus, MSTATUS_MDT, 0);
467f2efb6e7SClément Léger }
468f2efb6e7SClément Léger }
469f2efb6e7SClément Léger
4703157a553STommy Wu if (riscv_has_ext(env, RVH) && prev_virt) {
4713157a553STommy Wu riscv_cpu_swap_hypervisor_regs(env);
4723157a553STommy Wu }
4733157a553STommy Wu
4743157a553STommy Wu riscv_cpu_set_mode(env, prev_priv, prev_virt);
4753157a553STommy Wu
4760266fd8bSFrank Chang /*
4770266fd8bSFrank Chang * If forward cfi enabled for new priv, restore elp status
4780266fd8bSFrank Chang * and clear mnpelp in mnstatus
4790266fd8bSFrank Chang */
4800266fd8bSFrank Chang if (cpu_get_fcfien(env)) {
4810266fd8bSFrank Chang env->elp = get_field(env->mnstatus, MNSTATUS_MNPELP);
4820266fd8bSFrank Chang }
4830266fd8bSFrank Chang env->mnstatus = set_field(env->mnstatus, MNSTATUS_MNPELP, 0);
4840266fd8bSFrank Chang
4853157a553STommy Wu return retpc;
4863157a553STommy Wu }
4873157a553STommy Wu
helper_ctr_add_entry(CPURISCVState * env,target_ulong src,target_ulong dest,target_ulong type)4884ff7a27aSRajnesh Kanwal void helper_ctr_add_entry(CPURISCVState *env, target_ulong src,
4894ff7a27aSRajnesh Kanwal target_ulong dest, target_ulong type)
4904ff7a27aSRajnesh Kanwal {
4914ff7a27aSRajnesh Kanwal riscv_ctr_add_entry(env, src, dest, (enum CTRType)type,
4924ff7a27aSRajnesh Kanwal env->priv, env->virt_enabled);
4934ff7a27aSRajnesh Kanwal }
4944ff7a27aSRajnesh Kanwal
helper_ctr_clear(CPURISCVState * env)4959e69e760SRajnesh Kanwal void helper_ctr_clear(CPURISCVState *env)
4969e69e760SRajnesh Kanwal {
4979e69e760SRajnesh Kanwal /*
4989e69e760SRajnesh Kanwal * It's safe to call smstateen_acc_ok() for umode access regardless of the
4999e69e760SRajnesh Kanwal * state of bit 54 (CTR bit in case of m/hstateen) of sstateen. If the bit
5009e69e760SRajnesh Kanwal * is zero, smstateen_acc_ok() will return the correct exception code and
5019e69e760SRajnesh Kanwal * if it's one, smstateen_acc_ok() will return RISCV_EXCP_NONE. In that
5029e69e760SRajnesh Kanwal * scenario the U-mode check below will handle that case.
5039e69e760SRajnesh Kanwal */
5049e69e760SRajnesh Kanwal RISCVException ret = smstateen_acc_ok(env, 0, SMSTATEEN0_CTR);
5059e69e760SRajnesh Kanwal if (ret != RISCV_EXCP_NONE) {
5069e69e760SRajnesh Kanwal riscv_raise_exception(env, ret, GETPC());
5079e69e760SRajnesh Kanwal }
5089e69e760SRajnesh Kanwal
5099e69e760SRajnesh Kanwal if (env->priv == PRV_U) {
5109e69e760SRajnesh Kanwal /*
5119e69e760SRajnesh Kanwal * One corner case is when sctrclr is executed from VU-mode and
5129e69e760SRajnesh Kanwal * mstateen.CTR = 0, in which case we are supposed to raise
5139e69e760SRajnesh Kanwal * RISCV_EXCP_ILLEGAL_INST. This case is already handled in
5149e69e760SRajnesh Kanwal * smstateen_acc_ok().
5159e69e760SRajnesh Kanwal */
5169e69e760SRajnesh Kanwal uint32_t excep = env->virt_enabled ? RISCV_EXCP_VIRT_INSTRUCTION_FAULT :
5179e69e760SRajnesh Kanwal RISCV_EXCP_ILLEGAL_INST;
5189e69e760SRajnesh Kanwal riscv_raise_exception(env, excep, GETPC());
5199e69e760SRajnesh Kanwal }
5209e69e760SRajnesh Kanwal
5219e69e760SRajnesh Kanwal riscv_ctr_clear(env);
5229e69e760SRajnesh Kanwal }
5239e69e760SRajnesh Kanwal
helper_wfi(CPURISCVState * env)5240c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
5250c3e702aSMichael Clark {
5263109cd98SRichard Henderson CPUState *cs = env_cpu(env);
527719f0f60SJose Martins bool rvs = riscv_has_ext(env, RVS);
528719f0f60SJose Martins bool prv_u = env->priv == PRV_U;
529719f0f60SJose Martins bool prv_s = env->priv == PRV_S;
5300c3e702aSMichael Clark
531719f0f60SJose Martins if (((prv_s || (!rvs && prv_u)) && get_field(env->mstatus, MSTATUS_TW)) ||
53238256529SWeiwei Li (rvs && prv_u && !env->virt_enabled)) {
533719f0f60SJose Martins riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
534c45eff30SWeiwei Li } else if (env->virt_enabled &&
535c45eff30SWeiwei Li (prv_u || (prv_s && get_field(env->hstatus, HSTATUS_VTW)))) {
536e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
5377f2b5ff1SMichael Clark } else {
5380c3e702aSMichael Clark cs->halted = 1;
5390c3e702aSMichael Clark cs->exception_index = EXCP_HLT;
5400c3e702aSMichael Clark cpu_loop_exit(cs);
5410c3e702aSMichael Clark }
5427f2b5ff1SMichael Clark }
5430c3e702aSMichael Clark
helper_wrs_nto(CPURISCVState * env)544b62e0ce7SAndrew Jones void helper_wrs_nto(CPURISCVState *env)
545b62e0ce7SAndrew Jones {
546b62e0ce7SAndrew Jones if (env->virt_enabled && (env->priv == PRV_S || env->priv == PRV_U) &&
547b62e0ce7SAndrew Jones get_field(env->hstatus, HSTATUS_VTW) &&
548b62e0ce7SAndrew Jones !get_field(env->mstatus, MSTATUS_TW)) {
549b62e0ce7SAndrew Jones riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
550b62e0ce7SAndrew Jones } else if (env->priv != PRV_M && get_field(env->mstatus, MSTATUS_TW)) {
551b62e0ce7SAndrew Jones riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
552b62e0ce7SAndrew Jones }
553b62e0ce7SAndrew Jones }
554b62e0ce7SAndrew Jones
helper_tlb_flush(CPURISCVState * env)5550c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
5560c3e702aSMichael Clark {
5573109cd98SRichard Henderson CPUState *cs = env_cpu(env);
558d6db7c97SYi Chen if (!env->virt_enabled &&
559d6db7c97SYi Chen (env->priv == PRV_U ||
560d6db7c97SYi Chen (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_TVM)))) {
561fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
562d6db7c97SYi Chen } else if (env->virt_enabled &&
563d6db7c97SYi Chen (env->priv == PRV_U || get_field(env->hstatus, HSTATUS_VTVM))) {
564e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
5657f2b5ff1SMichael Clark } else {
5660c3e702aSMichael Clark tlb_flush(cs);
5670c3e702aSMichael Clark }
5687f2b5ff1SMichael Clark }
5690c3e702aSMichael Clark
helper_tlb_flush_all(CPURISCVState * env)570134c3ffaSChristoph Müllner void helper_tlb_flush_all(CPURISCVState *env)
571134c3ffaSChristoph Müllner {
572134c3ffaSChristoph Müllner CPUState *cs = env_cpu(env);
573134c3ffaSChristoph Müllner tlb_flush_all_cpus_synced(cs);
574134c3ffaSChristoph Müllner }
575134c3ffaSChristoph Müllner
helper_hyp_tlb_flush(CPURISCVState * env)5762761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
5772761db5fSAlistair Francis {
5782761db5fSAlistair Francis CPUState *cs = env_cpu(env);
5792761db5fSAlistair Francis
580d6db7c97SYi Chen if (env->virt_enabled) {
581e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
582e39a8320SAlistair Francis }
583e39a8320SAlistair Francis
5842761db5fSAlistair Francis if (env->priv == PRV_M ||
58538256529SWeiwei Li (env->priv == PRV_S && !env->virt_enabled)) {
5862761db5fSAlistair Francis tlb_flush(cs);
5872761db5fSAlistair Francis return;
5882761db5fSAlistair Francis }
5892761db5fSAlistair Francis
5902761db5fSAlistair Francis riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
5912761db5fSAlistair Francis }
5922761db5fSAlistair Francis
helper_hyp_gvma_tlb_flush(CPURISCVState * env)593e39a8320SAlistair Francis void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
594e39a8320SAlistair Francis {
59538256529SWeiwei Li if (env->priv == PRV_S && !env->virt_enabled &&
596e39a8320SAlistair Francis get_field(env->mstatus, MSTATUS_TVM)) {
597e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
598e39a8320SAlistair Francis }
599e39a8320SAlistair Francis
600e39a8320SAlistair Francis helper_hyp_tlb_flush(env);
601e39a8320SAlistair Francis }
602e39a8320SAlistair Francis
check_access_hlsv(CPURISCVState * env,bool x,uintptr_t ra)6030f58cbbeSRichard Henderson static int check_access_hlsv(CPURISCVState *env, bool x, uintptr_t ra)
6040f58cbbeSRichard Henderson {
6050f58cbbeSRichard Henderson if (env->priv == PRV_M) {
6060f58cbbeSRichard Henderson /* always allowed */
6070f58cbbeSRichard Henderson } else if (env->virt_enabled) {
6080f58cbbeSRichard Henderson riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
6090f58cbbeSRichard Henderson } else if (env->priv == PRV_U && !get_field(env->hstatus, HSTATUS_HU)) {
6100f58cbbeSRichard Henderson riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
6110f58cbbeSRichard Henderson }
6120f58cbbeSRichard Henderson
613eaecd473SRichard Henderson int mode = get_field(env->hstatus, HSTATUS_SPVP);
614eaecd473SRichard Henderson if (!x && mode == PRV_S && get_field(env->vsstatus, MSTATUS_SUM)) {
615eaecd473SRichard Henderson mode = MMUIdx_S_SUM;
616eaecd473SRichard Henderson }
617eaecd473SRichard Henderson return mode | MMU_2STAGE_BIT;
6180f58cbbeSRichard Henderson }
6190f58cbbeSRichard Henderson
helper_hyp_hlv_bu(CPURISCVState * env,target_ulong addr)6200f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_bu(CPURISCVState *env, target_ulong addr)
6210f58cbbeSRichard Henderson {
6220f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6230f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6240f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
6250f58cbbeSRichard Henderson
6264d160093SAlexey Baturo return cpu_ldb_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6270f58cbbeSRichard Henderson }
6280f58cbbeSRichard Henderson
helper_hyp_hlv_hu(CPURISCVState * env,target_ulong addr)6290f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_hu(CPURISCVState *env, target_ulong addr)
6300f58cbbeSRichard Henderson {
6310f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6320f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6330f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
6340f58cbbeSRichard Henderson
6354d160093SAlexey Baturo return cpu_ldw_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6360f58cbbeSRichard Henderson }
6370f58cbbeSRichard Henderson
helper_hyp_hlv_wu(CPURISCVState * env,target_ulong addr)6380f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_wu(CPURISCVState *env, target_ulong addr)
6390f58cbbeSRichard Henderson {
6400f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6410f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6420f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
6430f58cbbeSRichard Henderson
6444d160093SAlexey Baturo return cpu_ldl_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6450f58cbbeSRichard Henderson }
6460f58cbbeSRichard Henderson
helper_hyp_hlv_d(CPURISCVState * env,target_ulong addr)6470f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_d(CPURISCVState *env, target_ulong addr)
6480f58cbbeSRichard Henderson {
6490f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6500f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6510f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
6520f58cbbeSRichard Henderson
6534d160093SAlexey Baturo return cpu_ldq_mmu(env, adjust_addr_virt(env, addr), oi, ra);
6540f58cbbeSRichard Henderson }
6550f58cbbeSRichard Henderson
helper_hyp_hsv_b(CPURISCVState * env,target_ulong addr,target_ulong val)6560f58cbbeSRichard Henderson void helper_hyp_hsv_b(CPURISCVState *env, target_ulong addr, target_ulong val)
6570f58cbbeSRichard Henderson {
6580f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6590f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6600f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
6610f58cbbeSRichard Henderson
6624d160093SAlexey Baturo cpu_stb_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6630f58cbbeSRichard Henderson }
6640f58cbbeSRichard Henderson
helper_hyp_hsv_h(CPURISCVState * env,target_ulong addr,target_ulong val)6650f58cbbeSRichard Henderson void helper_hyp_hsv_h(CPURISCVState *env, target_ulong addr, target_ulong val)
6660f58cbbeSRichard Henderson {
6670f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6680f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6690f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
6700f58cbbeSRichard Henderson
6714d160093SAlexey Baturo cpu_stw_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6720f58cbbeSRichard Henderson }
6730f58cbbeSRichard Henderson
helper_hyp_hsv_w(CPURISCVState * env,target_ulong addr,target_ulong val)6740f58cbbeSRichard Henderson void helper_hyp_hsv_w(CPURISCVState *env, target_ulong addr, target_ulong val)
6750f58cbbeSRichard Henderson {
6760f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6770f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6780f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
6790f58cbbeSRichard Henderson
6804d160093SAlexey Baturo cpu_stl_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6810f58cbbeSRichard Henderson }
6820f58cbbeSRichard Henderson
helper_hyp_hsv_d(CPURISCVState * env,target_ulong addr,target_ulong val)6830f58cbbeSRichard Henderson void helper_hyp_hsv_d(CPURISCVState *env, target_ulong addr, target_ulong val)
6840f58cbbeSRichard Henderson {
6850f58cbbeSRichard Henderson uintptr_t ra = GETPC();
6860f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
6870f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
6880f58cbbeSRichard Henderson
6894d160093SAlexey Baturo cpu_stq_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
6900f58cbbeSRichard Henderson }
6910f58cbbeSRichard Henderson
692a7f112c5SRichard Henderson /*
693a7f112c5SRichard Henderson * TODO: These implementations are not quite correct. They perform the
694a7f112c5SRichard Henderson * access using execute permission just fine, but the final PMP check
695a7f112c5SRichard Henderson * is supposed to have read permission as well. Without replicating
696a7f112c5SRichard Henderson * a fair fraction of cputlb.c, fixing this requires adding new mmu_idx
697a7f112c5SRichard Henderson * which would imply that exact check in tlb_fill.
698a7f112c5SRichard Henderson */
helper_hyp_hlvx_hu(CPURISCVState * env,target_ulong addr)6990f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong addr)
7008c5362acSAlistair Francis {
7010f58cbbeSRichard Henderson uintptr_t ra = GETPC();
7020f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, true, ra);
703a7f112c5SRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
7048c5362acSAlistair Francis
7050f58cbbeSRichard Henderson return cpu_ldw_code_mmu(env, addr, oi, GETPC());
7068c5362acSAlistair Francis }
7078c5362acSAlistair Francis
helper_hyp_hlvx_wu(CPURISCVState * env,target_ulong addr)7080f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong addr)
7097687537aSAlistair Francis {
7100f58cbbeSRichard Henderson uintptr_t ra = GETPC();
7110f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, true, ra);
712a7f112c5SRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
7138c5362acSAlistair Francis
7140f58cbbeSRichard Henderson return cpu_ldl_code_mmu(env, addr, oi, ra);
7158c5362acSAlistair Francis }
7168c5362acSAlistair Francis
7170c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
718