xref: /qemu/target/riscv/op_helper.c (revision 44b8f74b0088df22f30e0718f6aefa9fb87702f6)
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"
230c3e702aSMichael Clark #include "qemu/main-loop.h"
240c3e702aSMichael Clark #include "exec/exec-all.h"
250c3e702aSMichael Clark #include "exec/helper-proto.h"
260c3e702aSMichael Clark 
270c3e702aSMichael Clark /* Exceptions processing helpers */
288905770bSMarc-André Lureau G_NORETURN void riscv_raise_exception(CPURISCVState *env,
290c3e702aSMichael Clark                                       uint32_t exception, uintptr_t pc)
300c3e702aSMichael Clark {
313109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
320c3e702aSMichael Clark     cs->exception_index = exception;
330c3e702aSMichael Clark     cpu_loop_exit_restore(cs, pc);
340c3e702aSMichael Clark }
350c3e702aSMichael Clark 
360c3e702aSMichael Clark void helper_raise_exception(CPURISCVState *env, uint32_t exception)
370c3e702aSMichael Clark {
38fb738839SMichael Clark     riscv_raise_exception(env, exception, 0);
390c3e702aSMichael Clark }
400c3e702aSMichael Clark 
41a974879bSRichard Henderson target_ulong helper_csrr(CPURISCVState *env, int csr)
420c3e702aSMichael Clark {
4377442380SWeiwei Li     /*
4477442380SWeiwei Li      * The seed CSR must be accessed with a read-write instruction. A
4577442380SWeiwei Li      * read-only instruction such as CSRRS/CSRRC with rs1=x0 or CSRRSI/
4677442380SWeiwei Li      * CSRRCI with uimm=0 will raise an illegal instruction exception.
4777442380SWeiwei Li      */
4877442380SWeiwei Li     if (csr == CSR_SEED) {
4977442380SWeiwei Li         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
5077442380SWeiwei Li     }
5177442380SWeiwei Li 
52c7b95171SMichael Clark     target_ulong val = 0;
53a974879bSRichard Henderson     RISCVException ret = riscv_csrrw(env, csr, &val, 0, 0);
5457cb2083SAlistair Francis 
55533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
56533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
57c7b95171SMichael Clark     }
58c7b95171SMichael Clark     return val;
590c3e702aSMichael Clark }
600c3e702aSMichael Clark 
61a974879bSRichard Henderson void helper_csrw(CPURISCVState *env, int csr, target_ulong src)
620c3e702aSMichael Clark {
6383b519b8SLIU Zhiwei     target_ulong mask = env->xl == MXL_RV32 ? UINT32_MAX : (target_ulong)-1;
6483b519b8SLIU Zhiwei     RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask);
6557cb2083SAlistair Francis 
66533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
67533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
680c3e702aSMichael Clark     }
690c3e702aSMichael Clark }
700c3e702aSMichael Clark 
71a974879bSRichard Henderson target_ulong helper_csrrw(CPURISCVState *env, int csr,
72a974879bSRichard Henderson                           target_ulong src, target_ulong write_mask)
730c3e702aSMichael Clark {
74c7b95171SMichael Clark     target_ulong val = 0;
75a974879bSRichard Henderson     RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask);
7657cb2083SAlistair Francis 
77533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
78533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
790c3e702aSMichael Clark     }
80c7b95171SMichael Clark     return val;
810c3e702aSMichael Clark }
820c3e702aSMichael Clark 
83961738ffSFrédéric Pétrot target_ulong helper_csrr_i128(CPURISCVState *env, int csr)
84961738ffSFrédéric Pétrot {
85961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
86961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, &rv,
87961738ffSFrédéric Pétrot                                           int128_zero(),
88961738ffSFrédéric Pétrot                                           int128_zero());
89961738ffSFrédéric Pétrot 
90961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
91961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
92961738ffSFrédéric Pétrot     }
93961738ffSFrédéric Pétrot 
94961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
95961738ffSFrédéric Pétrot     return int128_getlo(rv);
96961738ffSFrédéric Pétrot }
97961738ffSFrédéric Pétrot 
98961738ffSFrédéric Pétrot void helper_csrw_i128(CPURISCVState *env, int csr,
99961738ffSFrédéric Pétrot                       target_ulong srcl, target_ulong srch)
100961738ffSFrédéric Pétrot {
101961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, NULL,
102961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
103961738ffSFrédéric Pétrot                                           UINT128_MAX);
104961738ffSFrédéric Pétrot 
105961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
106961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
107961738ffSFrédéric Pétrot     }
108961738ffSFrédéric Pétrot }
109961738ffSFrédéric Pétrot 
110961738ffSFrédéric Pétrot target_ulong helper_csrrw_i128(CPURISCVState *env, int csr,
111961738ffSFrédéric Pétrot                        target_ulong srcl, target_ulong srch,
112961738ffSFrédéric Pétrot                        target_ulong maskl, target_ulong maskh)
113961738ffSFrédéric Pétrot {
114961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
115961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, &rv,
116961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
117961738ffSFrédéric Pétrot                                           int128_make128(maskl, maskh));
118961738ffSFrédéric Pétrot 
119961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
120961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
121961738ffSFrédéric Pétrot     }
122961738ffSFrédéric Pétrot 
123961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
124961738ffSFrédéric Pétrot     return int128_getlo(rv);
125961738ffSFrédéric Pétrot }
126961738ffSFrédéric Pétrot 
127a939c500SChristoph Muellner 
128a939c500SChristoph Muellner /*
129a939c500SChristoph Muellner  * check_zicbo_envcfg
130a939c500SChristoph Muellner  *
131a939c500SChristoph Muellner  * Raise virtual exceptions and illegal instruction exceptions for
132a939c500SChristoph Muellner  * Zicbo[mz] instructions based on the settings of [mhs]envcfg as
133a939c500SChristoph Muellner  * specified in section 2.5.1 of the CMO specification.
134a939c500SChristoph Muellner  */
135a939c500SChristoph Muellner static void check_zicbo_envcfg(CPURISCVState *env, target_ulong envbits,
136a939c500SChristoph Muellner                                 uintptr_t ra)
137a939c500SChristoph Muellner {
138a939c500SChristoph Muellner #ifndef CONFIG_USER_ONLY
139a939c500SChristoph Muellner     if ((env->priv < PRV_M) && !get_field(env->menvcfg, envbits)) {
140a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
141a939c500SChristoph Muellner     }
142a939c500SChristoph Muellner 
14338256529SWeiwei Li     if (env->virt_enabled &&
144*44b8f74bSWeiwei Li         (((env->priv <= PRV_S) && !get_field(env->henvcfg, envbits)) ||
145a939c500SChristoph Muellner          ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)))) {
146a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
147a939c500SChristoph Muellner     }
148a939c500SChristoph Muellner 
149a939c500SChristoph Muellner     if ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)) {
150a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
151a939c500SChristoph Muellner     }
152a939c500SChristoph Muellner #endif
153a939c500SChristoph Muellner }
154a939c500SChristoph Muellner 
155a939c500SChristoph Muellner void helper_cbo_zero(CPURISCVState *env, target_ulong address)
156a939c500SChristoph Muellner {
157a939c500SChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
158a939c500SChristoph Muellner     uint16_t cbozlen = cpu->cfg.cboz_blocksize;
159a939c500SChristoph Muellner     int mmu_idx = cpu_mmu_index(env, false);
160a939c500SChristoph Muellner     uintptr_t ra = GETPC();
161a939c500SChristoph Muellner     void *mem;
162a939c500SChristoph Muellner 
163a939c500SChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBZE, ra);
164a939c500SChristoph Muellner 
165a939c500SChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
166a939c500SChristoph Muellner     address &= ~(cbozlen - 1);
167a939c500SChristoph Muellner 
168a939c500SChristoph Muellner     /*
169a939c500SChristoph Muellner      * cbo.zero requires MMU_DATA_STORE access. Do a probe_write()
170a939c500SChristoph Muellner      * to raise any exceptions, including PMP.
171a939c500SChristoph Muellner      */
172a939c500SChristoph Muellner     mem = probe_write(env, address, cbozlen, mmu_idx, ra);
173a939c500SChristoph Muellner 
174a939c500SChristoph Muellner     if (likely(mem)) {
175a939c500SChristoph Muellner         memset(mem, 0, cbozlen);
176a939c500SChristoph Muellner     } else {
177a939c500SChristoph Muellner         /*
178a939c500SChristoph Muellner          * This means that we're dealing with an I/O page. Section 4.2
179a939c500SChristoph Muellner          * of cmobase v1.0.1 says:
180a939c500SChristoph Muellner          *
181a939c500SChristoph Muellner          * "Cache-block zero instructions store zeros independently
182a939c500SChristoph Muellner          * of whether data from the underlying memory locations are
183a939c500SChristoph Muellner          * cacheable."
184a939c500SChristoph Muellner          *
185a939c500SChristoph Muellner          * Write zeros in address + cbozlen regardless of not being
186a939c500SChristoph Muellner          * a RAM page.
187a939c500SChristoph Muellner          */
188a939c500SChristoph Muellner         for (int i = 0; i < cbozlen; i++) {
189a939c500SChristoph Muellner             cpu_stb_mmuidx_ra(env, address + i, 0, mmu_idx, ra);
190a939c500SChristoph Muellner         }
191a939c500SChristoph Muellner     }
192a939c500SChristoph Muellner }
193a939c500SChristoph Muellner 
194e05da09bSChristoph Muellner /*
195e05da09bSChristoph Muellner  * check_zicbom_access
196e05da09bSChristoph Muellner  *
197e05da09bSChristoph Muellner  * Check access permissions (LOAD, STORE or FETCH as specified in
198e05da09bSChristoph Muellner  * section 2.5.2 of the CMO specification) for Zicbom, raising
199e05da09bSChristoph Muellner  * either store page-fault (non-virtualized) or store guest-page
200e05da09bSChristoph Muellner  * fault (virtualized).
201e05da09bSChristoph Muellner  */
202e05da09bSChristoph Muellner static void check_zicbom_access(CPURISCVState *env,
203e05da09bSChristoph Muellner                                 target_ulong address,
204e05da09bSChristoph Muellner                                 uintptr_t ra)
205e05da09bSChristoph Muellner {
206e05da09bSChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
207e05da09bSChristoph Muellner     int mmu_idx = cpu_mmu_index(env, false);
208e05da09bSChristoph Muellner     uint16_t cbomlen = cpu->cfg.cbom_blocksize;
209e05da09bSChristoph Muellner     void *phost;
210e05da09bSChristoph Muellner     int ret;
211e05da09bSChristoph Muellner 
212e05da09bSChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
213e05da09bSChristoph Muellner     address &= ~(cbomlen - 1);
214e05da09bSChristoph Muellner 
215e05da09bSChristoph Muellner     /*
216e05da09bSChristoph Muellner      * Section 2.5.2 of cmobase v1.0.1:
217e05da09bSChristoph Muellner      *
218e05da09bSChristoph Muellner      * "A cache-block management instruction is permitted to
219e05da09bSChristoph Muellner      * access the specified cache block whenever a load instruction
220e05da09bSChristoph Muellner      * or store instruction is permitted to access the corresponding
221e05da09bSChristoph Muellner      * physical addresses. If neither a load instruction nor store
222e05da09bSChristoph Muellner      * instruction is permitted to access the physical addresses,
223e05da09bSChristoph Muellner      * but an instruction fetch is permitted to access the physical
224e05da09bSChristoph Muellner      * addresses, whether a cache-block management instruction is
225e05da09bSChristoph Muellner      * permitted to access the cache block is UNSPECIFIED."
226e05da09bSChristoph Muellner      */
227e05da09bSChristoph Muellner     ret = probe_access_flags(env, address, cbomlen, MMU_DATA_LOAD,
228e05da09bSChristoph Muellner                              mmu_idx, true, &phost, ra);
229e05da09bSChristoph Muellner     if (ret != TLB_INVALID_MASK) {
230e05da09bSChristoph Muellner         /* Success: readable */
231e05da09bSChristoph Muellner         return;
232e05da09bSChristoph Muellner     }
233e05da09bSChristoph Muellner 
234e05da09bSChristoph Muellner     /*
235e05da09bSChristoph Muellner      * Since not readable, must be writable. On failure, store
236e05da09bSChristoph Muellner      * fault/store guest amo fault will be raised by
237e05da09bSChristoph Muellner      * riscv_cpu_tlb_fill(). PMP exceptions will be caught
238e05da09bSChristoph Muellner      * there as well.
239e05da09bSChristoph Muellner      */
240e05da09bSChristoph Muellner     probe_write(env, address, cbomlen, mmu_idx, ra);
241e05da09bSChristoph Muellner }
242e05da09bSChristoph Muellner 
243e05da09bSChristoph Muellner void helper_cbo_clean_flush(CPURISCVState *env, target_ulong address)
244e05da09bSChristoph Muellner {
245e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
246e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBCFE, ra);
247e05da09bSChristoph Muellner     check_zicbom_access(env, address, ra);
248e05da09bSChristoph Muellner 
249e05da09bSChristoph Muellner     /* We don't emulate the cache-hierarchy, so we're done. */
250e05da09bSChristoph Muellner }
251e05da09bSChristoph Muellner 
252e05da09bSChristoph Muellner void helper_cbo_inval(CPURISCVState *env, target_ulong address)
253e05da09bSChristoph Muellner {
254e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
255e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBIE, 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 
2610c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
2620c3e702aSMichael Clark 
263b655dc7cSLIU Zhiwei target_ulong helper_sret(CPURISCVState *env)
2640c3e702aSMichael Clark {
265284d697cSYifei Jiang     uint64_t mstatus;
266284d697cSYifei Jiang     target_ulong prev_priv, prev_virt;
267e3fba4baSAlistair Francis 
2680c3e702aSMichael Clark     if (!(env->priv >= PRV_S)) {
269fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2700c3e702aSMichael Clark     }
2710c3e702aSMichael Clark 
2720c3e702aSMichael Clark     target_ulong retpc = env->sepc;
2730c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
274fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
2750c3e702aSMichael Clark     }
2760c3e702aSMichael Clark 
2771a9540d1SAlistair Francis     if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
278fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2797f2b5ff1SMichael Clark     }
2807f2b5ff1SMichael Clark 
28138256529SWeiwei Li     if (env->virt_enabled && get_field(env->hstatus, HSTATUS_VTSR)) {
282e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
283e39a8320SAlistair Francis     }
284e39a8320SAlistair Francis 
285e3fba4baSAlistair Francis     mstatus = env->mstatus;
2862bfec53bSBin Meng     prev_priv = get_field(mstatus, MSTATUS_SPP);
2872bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SIE,
2882bfec53bSBin Meng                         get_field(mstatus, MSTATUS_SPIE));
2892bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
2902bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
2910ff430a5SBin Meng     if (env->priv_ver >= PRIV_VERSION_1_12_0) {
2920ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
2930ff430a5SBin Meng     }
2942bfec53bSBin Meng     env->mstatus = mstatus;
295e3fba4baSAlistair Francis 
29638256529SWeiwei Li     if (riscv_has_ext(env, RVH) && !env->virt_enabled) {
297e3fba4baSAlistair Francis         /* We support Hypervisor extensions and virtulisation is disabled */
298e3fba4baSAlistair Francis         target_ulong hstatus = env->hstatus;
299e3fba4baSAlistair Francis 
300e3fba4baSAlistair Francis         prev_virt = get_field(hstatus, HSTATUS_SPV);
301e3fba4baSAlistair Francis 
302f2d5850fSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV, 0);
303e3fba4baSAlistair Francis 
304e3fba4baSAlistair Francis         env->hstatus = hstatus;
305e3fba4baSAlistair Francis 
306e3fba4baSAlistair Francis         if (prev_virt) {
307e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
308e3fba4baSAlistair Francis         }
309e3fba4baSAlistair Francis 
310e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
311e3fba4baSAlistair Francis     }
312e3fba4baSAlistair Francis 
313e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
3140c3e702aSMichael Clark 
3150c3e702aSMichael Clark     return retpc;
3160c3e702aSMichael Clark }
3170c3e702aSMichael Clark 
318b655dc7cSLIU Zhiwei target_ulong helper_mret(CPURISCVState *env)
3190c3e702aSMichael Clark {
3200c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
321fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3220c3e702aSMichael Clark     }
3230c3e702aSMichael Clark 
3240c3e702aSMichael Clark     target_ulong retpc = env->mepc;
3250c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
326fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
3270c3e702aSMichael Clark     }
3280c3e702aSMichael Clark 
329284d697cSYifei Jiang     uint64_t mstatus = env->mstatus;
3300c3e702aSMichael Clark     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
331d102f19aSAtish Patra 
3323fe40ef5SDaniel Henrique Barboza     if (riscv_cpu_cfg(env)->pmp &&
3330fbb5d2dSNikita Shubin         !pmp_get_num_rules(env) && (prev_priv != PRV_M)) {
3344c48aad1SBin Meng         riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
335d102f19aSAtish Patra     }
336d102f19aSAtish Patra 
337284d697cSYifei Jiang     target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV);
3381a9540d1SAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MIE,
3390c3e702aSMichael Clark                         get_field(mstatus, MSTATUS_MPIE));
340a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
34104803c3dSWeiwei Li     mstatus = set_field(mstatus, MSTATUS_MPP,
34204803c3dSWeiwei Li                         riscv_has_ext(env, RVU) ? PRV_U : PRV_M);
343e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
3440ff430a5SBin Meng     if ((env->priv_ver >= PRIV_VERSION_1_12_0) && (prev_priv != PRV_M)) {
3450ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
3460ff430a5SBin Meng     }
347c7b95171SMichael Clark     env->mstatus = mstatus;
348e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
349e3fba4baSAlistair Francis 
350e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH)) {
351e3fba4baSAlistair Francis         if (prev_virt) {
352e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
353e3fba4baSAlistair Francis         }
354e3fba4baSAlistair Francis 
355e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
356e3fba4baSAlistair Francis     }
3570c3e702aSMichael Clark 
3580c3e702aSMichael Clark     return retpc;
3590c3e702aSMichael Clark }
3600c3e702aSMichael Clark 
3610c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
3620c3e702aSMichael Clark {
3633109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
364719f0f60SJose Martins     bool rvs = riscv_has_ext(env, RVS);
365719f0f60SJose Martins     bool prv_u = env->priv == PRV_U;
366719f0f60SJose Martins     bool prv_s = env->priv == PRV_S;
3670c3e702aSMichael Clark 
368719f0f60SJose Martins     if (((prv_s || (!rvs && prv_u)) && get_field(env->mstatus, MSTATUS_TW)) ||
36938256529SWeiwei Li         (rvs && prv_u && !env->virt_enabled)) {
370719f0f60SJose Martins         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
371c45eff30SWeiwei Li     } else if (env->virt_enabled &&
372c45eff30SWeiwei Li                (prv_u || (prv_s && get_field(env->hstatus, HSTATUS_VTW)))) {
373e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
3747f2b5ff1SMichael Clark     } else {
3750c3e702aSMichael Clark         cs->halted = 1;
3760c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
3770c3e702aSMichael Clark         cpu_loop_exit(cs);
3780c3e702aSMichael Clark     }
3797f2b5ff1SMichael Clark }
3800c3e702aSMichael Clark 
3810c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
3820c3e702aSMichael Clark {
3833109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
384b86f4167SJonathan Behrens     if (!(env->priv >= PRV_S) ||
385b86f4167SJonathan Behrens         (env->priv == PRV_S &&
386b86f4167SJonathan Behrens          get_field(env->mstatus, MSTATUS_TVM))) {
387fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
38838256529SWeiwei Li     } else if (riscv_has_ext(env, RVH) && env->virt_enabled &&
389e39a8320SAlistair Francis                get_field(env->hstatus, HSTATUS_VTVM)) {
390e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
3917f2b5ff1SMichael Clark     } else {
3920c3e702aSMichael Clark         tlb_flush(cs);
3930c3e702aSMichael Clark     }
3947f2b5ff1SMichael Clark }
3950c3e702aSMichael Clark 
396134c3ffaSChristoph Müllner void helper_tlb_flush_all(CPURISCVState *env)
397134c3ffaSChristoph Müllner {
398134c3ffaSChristoph Müllner     CPUState *cs = env_cpu(env);
399134c3ffaSChristoph Müllner     tlb_flush_all_cpus_synced(cs);
400134c3ffaSChristoph Müllner }
401134c3ffaSChristoph Müllner 
4022761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
4032761db5fSAlistair Francis {
4042761db5fSAlistair Francis     CPUState *cs = env_cpu(env);
4052761db5fSAlistair Francis 
40638256529SWeiwei Li     if (env->priv == PRV_S && env->virt_enabled) {
407e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
408e39a8320SAlistair Francis     }
409e39a8320SAlistair Francis 
4102761db5fSAlistair Francis     if (env->priv == PRV_M ||
41138256529SWeiwei Li         (env->priv == PRV_S && !env->virt_enabled)) {
4122761db5fSAlistair Francis         tlb_flush(cs);
4132761db5fSAlistair Francis         return;
4142761db5fSAlistair Francis     }
4152761db5fSAlistair Francis 
4162761db5fSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
4172761db5fSAlistair Francis }
4182761db5fSAlistair Francis 
419e39a8320SAlistair Francis void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
420e39a8320SAlistair Francis {
42138256529SWeiwei Li     if (env->priv == PRV_S && !env->virt_enabled &&
422e39a8320SAlistair Francis         get_field(env->mstatus, MSTATUS_TVM)) {
423e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
424e39a8320SAlistair Francis     }
425e39a8320SAlistair Francis 
426e39a8320SAlistair Francis     helper_hyp_tlb_flush(env);
427e39a8320SAlistair Francis }
428e39a8320SAlistair Francis 
4297687537aSAlistair Francis target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong address)
4308c5362acSAlistair Francis {
4317687537aSAlistair Francis     int mmu_idx = cpu_mmu_index(env, true) | TB_FLAGS_PRIV_HYP_ACCESS_MASK;
4328c5362acSAlistair Francis 
4337687537aSAlistair Francis     return cpu_lduw_mmuidx_ra(env, address, mmu_idx, GETPC());
4348c5362acSAlistair Francis }
4358c5362acSAlistair Francis 
4367687537aSAlistair Francis target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong address)
4377687537aSAlistair Francis {
4387687537aSAlistair Francis     int mmu_idx = cpu_mmu_index(env, true) | TB_FLAGS_PRIV_HYP_ACCESS_MASK;
4398c5362acSAlistair Francis 
4407687537aSAlistair Francis     return cpu_ldl_mmuidx_ra(env, address, mmu_idx, GETPC());
4418c5362acSAlistair Francis }
4428c5362acSAlistair Francis 
4430c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
444