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