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" 2642fa9665SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ldst.h" 27*fe1a3aceSPhilippe Mathieu-Daudé #include "accel/tcg/probe.h" 280c3e702aSMichael Clark #include "exec/helper-proto.h" 294d43552aSPierrick Bouvier #include "exec/tlb-flags.h" 308f1a1289SDaniel Henrique Barboza #include "trace.h" 310c3e702aSMichael Clark 320c3e702aSMichael Clark /* Exceptions processing helpers */ 338905770bSMarc-André Lureau G_NORETURN void riscv_raise_exception(CPURISCVState *env, 34e2dca2dcSDaniel Henrique Barboza RISCVException exception, 35e2dca2dcSDaniel Henrique Barboza uintptr_t pc) 360c3e702aSMichael Clark { 373109cd98SRichard Henderson CPUState *cs = env_cpu(env); 388f1a1289SDaniel Henrique Barboza 398f1a1289SDaniel Henrique Barboza trace_riscv_exception(exception, 408f1a1289SDaniel Henrique Barboza riscv_cpu_get_trap_name(exception, false), 418f1a1289SDaniel Henrique Barboza env->pc); 428f1a1289SDaniel Henrique Barboza 430c3e702aSMichael Clark cs->exception_index = exception; 440c3e702aSMichael Clark cpu_loop_exit_restore(cs, pc); 450c3e702aSMichael Clark } 460c3e702aSMichael Clark 470c3e702aSMichael Clark void helper_raise_exception(CPURISCVState *env, uint32_t exception) 480c3e702aSMichael Clark { 49fb738839SMichael Clark riscv_raise_exception(env, exception, 0); 500c3e702aSMichael Clark } 510c3e702aSMichael Clark 52a974879bSRichard Henderson target_ulong helper_csrr(CPURISCVState *env, int csr) 530c3e702aSMichael Clark { 5477442380SWeiwei Li /* 5577442380SWeiwei Li * The seed CSR must be accessed with a read-write instruction. A 5677442380SWeiwei Li * read-only instruction such as CSRRS/CSRRC with rs1=x0 or CSRRSI/ 5777442380SWeiwei Li * CSRRCI with uimm=0 will raise an illegal instruction exception. 5877442380SWeiwei Li */ 5977442380SWeiwei Li if (csr == CSR_SEED) { 6077442380SWeiwei Li riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC()); 6177442380SWeiwei Li } 6277442380SWeiwei Li 63c7b95171SMichael Clark target_ulong val = 0; 6438c83e8dSYu-Ming Chang RISCVException ret = riscv_csrr(env, csr, &val); 6557cb2083SAlistair Francis 66533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) { 67533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC()); 68c7b95171SMichael Clark } 69c7b95171SMichael Clark return val; 700c3e702aSMichael Clark } 710c3e702aSMichael Clark 72a974879bSRichard Henderson void helper_csrw(CPURISCVState *env, int csr, target_ulong src) 730c3e702aSMichael Clark { 7483b519b8SLIU Zhiwei target_ulong mask = env->xl == MXL_RV32 ? UINT32_MAX : (target_ulong)-1; 7583b519b8SLIU Zhiwei RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask); 7657cb2083SAlistair Francis 77533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) { 78533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC()); 790c3e702aSMichael Clark } 800c3e702aSMichael Clark } 810c3e702aSMichael Clark 82a974879bSRichard Henderson target_ulong helper_csrrw(CPURISCVState *env, int csr, 83a974879bSRichard Henderson target_ulong src, target_ulong write_mask) 840c3e702aSMichael Clark { 85c7b95171SMichael Clark target_ulong val = 0; 86a974879bSRichard Henderson RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask); 8757cb2083SAlistair Francis 88533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) { 89533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC()); 900c3e702aSMichael Clark } 91c7b95171SMichael Clark return val; 920c3e702aSMichael Clark } 930c3e702aSMichael Clark 94961738ffSFrédéric Pétrot target_ulong helper_csrr_i128(CPURISCVState *env, int csr) 95961738ffSFrédéric Pétrot { 96961738ffSFrédéric Pétrot Int128 rv = int128_zero(); 9738c83e8dSYu-Ming Chang RISCVException ret = riscv_csrr_i128(env, csr, &rv); 98961738ffSFrédéric Pétrot 99961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) { 100961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC()); 101961738ffSFrédéric Pétrot } 102961738ffSFrédéric Pétrot 103961738ffSFrédéric Pétrot env->retxh = int128_gethi(rv); 104961738ffSFrédéric Pétrot return int128_getlo(rv); 105961738ffSFrédéric Pétrot } 106961738ffSFrédéric Pétrot 107961738ffSFrédéric Pétrot void helper_csrw_i128(CPURISCVState *env, int csr, 108961738ffSFrédéric Pétrot target_ulong srcl, target_ulong srch) 109961738ffSFrédéric Pétrot { 110961738ffSFrédéric Pétrot RISCVException ret = riscv_csrrw_i128(env, csr, NULL, 111961738ffSFrédéric Pétrot int128_make128(srcl, srch), 112961738ffSFrédéric Pétrot UINT128_MAX); 113961738ffSFrédéric Pétrot 114961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) { 115961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC()); 116961738ffSFrédéric Pétrot } 117961738ffSFrédéric Pétrot } 118961738ffSFrédéric Pétrot 119961738ffSFrédéric Pétrot target_ulong helper_csrrw_i128(CPURISCVState *env, int csr, 120961738ffSFrédéric Pétrot target_ulong srcl, target_ulong srch, 121961738ffSFrédéric Pétrot target_ulong maskl, target_ulong maskh) 122961738ffSFrédéric Pétrot { 123961738ffSFrédéric Pétrot Int128 rv = int128_zero(); 124961738ffSFrédéric Pétrot RISCVException ret = riscv_csrrw_i128(env, csr, &rv, 125961738ffSFrédéric Pétrot int128_make128(srcl, srch), 126961738ffSFrédéric Pétrot int128_make128(maskl, maskh)); 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 */ 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 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 */ 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 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 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 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 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 } 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 */ 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 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