xref: /openbmc/qemu/target/riscv/cpu_helper.c (revision 426beec96a54f89fe4fcbf16adaac64810c32ffb)
1df354dd4SMichael Clark /*
2df354dd4SMichael Clark  * RISC-V CPU helpers for qemu.
3df354dd4SMichael Clark  *
4df354dd4SMichael Clark  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
5df354dd4SMichael Clark  * Copyright (c) 2017-2018 SiFive, Inc.
6df354dd4SMichael Clark  *
7df354dd4SMichael Clark  * This program is free software; you can redistribute it and/or modify it
8df354dd4SMichael Clark  * under the terms and conditions of the GNU General Public License,
9df354dd4SMichael Clark  * version 2 or later, as published by the Free Software Foundation.
10df354dd4SMichael Clark  *
11df354dd4SMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
12df354dd4SMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13df354dd4SMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
14df354dd4SMichael Clark  * more details.
15df354dd4SMichael Clark  *
16df354dd4SMichael Clark  * You should have received a copy of the GNU General Public License along with
17df354dd4SMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
18df354dd4SMichael Clark  */
19df354dd4SMichael Clark 
20df354dd4SMichael Clark #include "qemu/osdep.h"
21df354dd4SMichael Clark #include "qemu/log.h"
227ec5d303SAlistair Francis #include "qemu/main-loop.h"
23df354dd4SMichael Clark #include "cpu.h"
24c8f8a995SFei Wu #include "internals.h"
25892320faSAtish Patra #include "pmu.h"
26df354dd4SMichael Clark #include "exec/exec-all.h"
2774781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
288e2aa21bSAnup Patel #include "instmap.h"
29dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg-op.h"
30*426beec9SDaniel Henrique Barboza #include "hw/core/tcg-cpu-ops.h"
31929f0a7fSMichael Clark #include "trace.h"
326b5fe137SPhilippe Mathieu-Daudé #include "semihosting/common-semi.h"
332c9d7471SLIU Zhiwei #include "sysemu/cpu-timers.h"
34892320faSAtish Patra #include "cpu_bits.h"
352c9d7471SLIU Zhiwei #include "debug.h"
3670f168f8SRichard Henderson #include "tcg/oversized-guest.h"
3753309be1SDeepak Gupta #include "pmp.h"
riscv_env_mmu_index(CPURISCVState * env,bool ifetch)38df354dd4SMichael Clark 
397f6f2ebbSRichard Henderson int riscv_env_mmu_index(CPURISCVState *env, bool ifetch)
40df354dd4SMichael Clark {
41df354dd4SMichael Clark #ifdef CONFIG_USER_ONLY
42df354dd4SMichael Clark     return 0;
43df354dd4SMichael Clark #else
44696bacdeSRichard Henderson     bool virt = env->virt_enabled;
45696bacdeSRichard Henderson     int mode = env->priv;
46c8f8a995SFei Wu 
47c8f8a995SFei Wu     /* All priv -> mmu_idx mapping are here */
48696bacdeSRichard Henderson     if (!ifetch) {
49eaecd473SRichard Henderson         uint64_t status = env->mstatus;
50eaecd473SRichard Henderson 
51eaecd473SRichard Henderson         if (mode == PRV_M && get_field(status, MSTATUS_MPRV)) {
52c8f8a995SFei Wu             mode = get_field(env->mstatus, MSTATUS_MPP);
53869d76f2SWeiwei Li             virt = get_field(env->mstatus, MSTATUS_MPV) &&
54869d76f2SWeiwei Li                    (mode != PRV_M);
55eaecd473SRichard Henderson             if (virt) {
56eaecd473SRichard Henderson                 status = env->vsstatus;
57c8f8a995SFei Wu             }
58eaecd473SRichard Henderson         }
59eaecd473SRichard Henderson         if (mode == PRV_S && get_field(status, MSTATUS_SUM)) {
60696bacdeSRichard Henderson             mode = MMUIdx_S_SUM;
61c8f8a995SFei Wu         }
62696bacdeSRichard Henderson     }
63696bacdeSRichard Henderson 
64696bacdeSRichard Henderson     return mode | (virt ? MMU_2STAGE_BIT : 0);
65df354dd4SMichael Clark #endif
66df354dd4SMichael Clark }
cpu_get_fcfien(CPURISCVState * env)67df354dd4SMichael Clark 
6853309be1SDeepak Gupta bool cpu_get_fcfien(CPURISCVState *env)
6953309be1SDeepak Gupta {
7053309be1SDeepak Gupta     /* no cfi extension, return false */
7153309be1SDeepak Gupta     if (!env_archcpu(env)->cfg.ext_zicfilp) {
7253309be1SDeepak Gupta         return false;
7353309be1SDeepak Gupta     }
7453309be1SDeepak Gupta 
7553309be1SDeepak Gupta     switch (env->priv) {
7653309be1SDeepak Gupta     case PRV_U:
7753309be1SDeepak Gupta         if (riscv_has_ext(env, RVS)) {
7853309be1SDeepak Gupta             return env->senvcfg & SENVCFG_LPE;
7953309be1SDeepak Gupta         }
8053309be1SDeepak Gupta         return env->menvcfg & MENVCFG_LPE;
8153309be1SDeepak Gupta #ifndef CONFIG_USER_ONLY
8253309be1SDeepak Gupta     case PRV_S:
8353309be1SDeepak Gupta         if (env->virt_enabled) {
8453309be1SDeepak Gupta             return env->henvcfg & HENVCFG_LPE;
8553309be1SDeepak Gupta         }
8653309be1SDeepak Gupta         return env->menvcfg & MENVCFG_LPE;
8753309be1SDeepak Gupta     case PRV_M:
8853309be1SDeepak Gupta         return env->mseccfg & MSECCFG_MLPE;
8953309be1SDeepak Gupta #endif
9053309be1SDeepak Gupta     default:
9153309be1SDeepak Gupta         g_assert_not_reached();
9253309be1SDeepak Gupta     }
9353309be1SDeepak Gupta }
cpu_get_bcfien(CPURISCVState * env)9453309be1SDeepak Gupta 
958205bc12SDeepak Gupta bool cpu_get_bcfien(CPURISCVState *env)
968205bc12SDeepak Gupta {
978205bc12SDeepak Gupta     /* no cfi extension, return false */
988205bc12SDeepak Gupta     if (!env_archcpu(env)->cfg.ext_zicfiss) {
998205bc12SDeepak Gupta         return false;
1008205bc12SDeepak Gupta     }
1018205bc12SDeepak Gupta 
1028205bc12SDeepak Gupta     switch (env->priv) {
1038205bc12SDeepak Gupta     case PRV_U:
1048205bc12SDeepak Gupta         /*
1058205bc12SDeepak Gupta          * If S is not implemented then shadow stack for U can't be turned on
1068205bc12SDeepak Gupta          * It is checked in `riscv_cpu_validate_set_extensions`, so no need to
1078205bc12SDeepak Gupta          * check here or assert here
1088205bc12SDeepak Gupta          */
1098205bc12SDeepak Gupta         return env->senvcfg & SENVCFG_SSE;
1108205bc12SDeepak Gupta #ifndef CONFIG_USER_ONLY
1118205bc12SDeepak Gupta     case PRV_S:
1128205bc12SDeepak Gupta         if (env->virt_enabled) {
1138205bc12SDeepak Gupta             return env->henvcfg & HENVCFG_SSE;
1148205bc12SDeepak Gupta         }
1158205bc12SDeepak Gupta         return env->menvcfg & MENVCFG_SSE;
1168205bc12SDeepak Gupta     case PRV_M: /* M-mode shadow stack is always off */
1178205bc12SDeepak Gupta         return false;
1188205bc12SDeepak Gupta #endif
1198205bc12SDeepak Gupta     default:
1208205bc12SDeepak Gupta         g_assert_not_reached();
1218205bc12SDeepak Gupta     }
1228205bc12SDeepak Gupta }
cpu_get_tb_cpu_state(CPURISCVState * env,vaddr * pc,uint64_t * cs_base,uint32_t * pflags)1238205bc12SDeepak Gupta 
124bb5de525SAnton Johansson void cpu_get_tb_cpu_state(CPURISCVState *env, vaddr *pc,
125bb5de525SAnton Johansson                           uint64_t *cs_base, uint32_t *pflags)
12653677acfSRichard Henderson {
127614c9466SRichard W.M. Jones     RISCVCPU *cpu = env_archcpu(env);
12825f3ddffSRichard Henderson     RISCVExtStatus fs, vs;
12953677acfSRichard Henderson     uint32_t flags = 0;
13053677acfSRichard Henderson 
1318c796f1aSLIU Zhiwei     *pc = env->xl == MXL_RV32 ? env->pc & UINT32_MAX : env->pc;
13253677acfSRichard Henderson     *cs_base = 0;
13353677acfSRichard Henderson 
1349fb41a44SJason Chien     if (cpu->cfg.ext_zve32x) {
135a689a82bSFrank Chang         /*
136a689a82bSFrank Chang          * If env->vl equals to VLMAX, we can use generic vector operation
137a689a82bSFrank Chang          * expanders (GVEC) to accerlate the vector operations.
138a689a82bSFrank Chang          * However, as LMUL could be a fractional number. The maximum
139a689a82bSFrank Chang          * vector size can be operated might be less than 8 bytes,
140a689a82bSFrank Chang          * which is not supported by GVEC. So we set vl_eq_vlmax flag to true
141a689a82bSFrank Chang          * only when maxsz >= 8 bytes.
142a689a82bSFrank Chang          */
143cd21576dSDaniel Henrique Barboza 
144cd21576dSDaniel Henrique Barboza         /* lmul encoded as in DisasContext::lmul */
145cd21576dSDaniel Henrique Barboza         int8_t lmul = sextract32(FIELD_EX64(env->vtype, VTYPE, VLMUL), 0, 3);
146cd21576dSDaniel Henrique Barboza         uint32_t vsew = FIELD_EX64(env->vtype, VTYPE, VSEW);
147cd21576dSDaniel Henrique Barboza         uint32_t vlmax = vext_get_vlmax(cpu->cfg.vlenb, vsew, lmul);
148cd21576dSDaniel Henrique Barboza         uint32_t maxsz = vlmax << vsew;
149a689a82bSFrank Chang         bool vl_eq_vlmax = (env->vstart == 0) && (vlmax == env->vl) &&
150a689a82bSFrank Chang                            (maxsz >= 8);
151d96a271aSLIU Zhiwei         flags = FIELD_DP32(flags, TB_FLAGS, VILL, env->vill);
152cd21576dSDaniel Henrique Barboza         flags = FIELD_DP32(flags, TB_FLAGS, SEW, vsew);
15353677acfSRichard Henderson         flags = FIELD_DP32(flags, TB_FLAGS, LMUL,
15453677acfSRichard Henderson                            FIELD_EX64(env->vtype, VTYPE, VLMUL));
15553677acfSRichard Henderson         flags = FIELD_DP32(flags, TB_FLAGS, VL_EQ_VLMAX, vl_eq_vlmax);
156f1eed927SeopXD         flags = FIELD_DP32(flags, TB_FLAGS, VTA,
157f1eed927SeopXD                            FIELD_EX64(env->vtype, VTYPE, VTA));
158355d5584SYueh-Ting (eop) Chen         flags = FIELD_DP32(flags, TB_FLAGS, VMA,
159355d5584SYueh-Ting (eop) Chen                            FIELD_EX64(env->vtype, VTYPE, VMA));
1604acaa133SLIU Zhiwei         flags = FIELD_DP32(flags, TB_FLAGS, VSTART_EQ_ZERO, env->vstart == 0);
16153677acfSRichard Henderson     } else {
16253677acfSRichard Henderson         flags = FIELD_DP32(flags, TB_FLAGS, VILL, 1);
16353677acfSRichard Henderson     }
16453677acfSRichard Henderson 
165b039c961SDeepak Gupta     if (cpu_get_fcfien(env)) {
166b039c961SDeepak Gupta         /*
167b039c961SDeepak Gupta          * For Forward CFI, only the expectation of a lpad at
168b039c961SDeepak Gupta          * the start of the block is tracked via env->elp. env->elp
169b039c961SDeepak Gupta          * is turned on during jalr translation.
170b039c961SDeepak Gupta          */
171b039c961SDeepak Gupta         flags = FIELD_DP32(flags, TB_FLAGS, FCFI_LP_EXPECTED, env->elp);
172b039c961SDeepak Gupta         flags = FIELD_DP32(flags, TB_FLAGS, FCFI_ENABLED, 1);
173b039c961SDeepak Gupta     }
174b039c961SDeepak Gupta 
175f9fdf907SDeepak Gupta     if (cpu_get_bcfien(env)) {
176f9fdf907SDeepak Gupta         flags = FIELD_DP32(flags, TB_FLAGS, BCFI_ENABLED, 1);
177f9fdf907SDeepak Gupta     }
178f9fdf907SDeepak Gupta 
17953677acfSRichard Henderson #ifdef CONFIG_USER_ONLY
18025f3ddffSRichard Henderson     fs = EXT_STATUS_DIRTY;
18125f3ddffSRichard Henderson     vs = EXT_STATUS_DIRTY;
18253677acfSRichard Henderson #else
18347debc72SFei Wu     flags = FIELD_DP32(flags, TB_FLAGS, PRIV, env->priv);
18447debc72SFei Wu 
185d9996d09SRichard Henderson     flags |= riscv_env_mmu_index(env, 0);
18625f3ddffSRichard Henderson     fs = get_field(env->mstatus, MSTATUS_FS);
18725f3ddffSRichard Henderson     vs = get_field(env->mstatus, MSTATUS_VS);
18861b4b69dSLIU Zhiwei 
18925f3ddffSRichard Henderson     if (env->virt_enabled) {
19025f3ddffSRichard Henderson         flags = FIELD_DP32(flags, TB_FLAGS, VIRT_ENABLED, 1);
19125f3ddffSRichard Henderson         /*
19225f3ddffSRichard Henderson          * Merge DISABLED and !DIRTY states using MIN.
19325f3ddffSRichard Henderson          * We will set both fields when dirtying.
19425f3ddffSRichard Henderson          */
19525f3ddffSRichard Henderson         fs = MIN(fs, get_field(env->mstatus_hs, MSTATUS_FS));
19625f3ddffSRichard Henderson         vs = MIN(vs, get_field(env->mstatus_hs, MSTATUS_VS));
19725f3ddffSRichard Henderson     }
1980f58cbbeSRichard Henderson 
199e0b343b5SMayuresh Chitale     /* With Zfinx, floating point is enabled/disabled by Smstateen. */
200e0b343b5SMayuresh Chitale     if (!riscv_has_ext(env, RVF)) {
201e0b343b5SMayuresh Chitale         fs = (smstateen_acc_ok(env, 0, SMSTATEEN0_FCSR) == RISCV_EXCP_NONE)
202e0b343b5SMayuresh Chitale              ? EXT_STATUS_DIRTY : EXT_STATUS_DISABLED;
203e0b343b5SMayuresh Chitale     }
204e0b343b5SMayuresh Chitale 
205cdfb2905SDaniel Henrique Barboza     if (cpu->cfg.debug && !icount_enabled()) {
206577f0286SLIU Zhiwei         flags = FIELD_DP32(flags, TB_FLAGS, ITRIGGER, env->itrigger_enabled);
2072c9d7471SLIU Zhiwei     }
20853677acfSRichard Henderson #endif
20953677acfSRichard Henderson 
21025f3ddffSRichard Henderson     flags = FIELD_DP32(flags, TB_FLAGS, FS, fs);
21125f3ddffSRichard Henderson     flags = FIELD_DP32(flags, TB_FLAGS, VS, vs);
212440544e1SLIU Zhiwei     flags = FIELD_DP32(flags, TB_FLAGS, XL, env->xl);
2133a610f54SWeiwei Li     flags = FIELD_DP32(flags, TB_FLAGS, AXL, cpu_address_xl(env));
214b83e4f1dSWeiwei Li     if (env->cur_pmmask != 0) {
2154208dc7eSLIU Zhiwei         flags = FIELD_DP32(flags, TB_FLAGS, PM_MASK_ENABLED, 1);
2164208dc7eSLIU Zhiwei     }
2174208dc7eSLIU Zhiwei     if (env->cur_pmbase != 0) {
2184208dc7eSLIU Zhiwei         flags = FIELD_DP32(flags, TB_FLAGS, PM_BASE_ENABLED, 1);
2194208dc7eSLIU Zhiwei     }
22092371bd9SRichard Henderson 
22153677acfSRichard Henderson     *pflags = flags;
22253677acfSRichard Henderson }
riscv_cpu_update_mask(CPURISCVState * env)22353677acfSRichard Henderson 
22440bfa5f6SLIU Zhiwei void riscv_cpu_update_mask(CPURISCVState *env)
22540bfa5f6SLIU Zhiwei {
226b83e4f1dSWeiwei Li     target_ulong mask = 0, base = 0;
227ef1ba32aSWeiwei Li     RISCVMXL xl = env->xl;
22840bfa5f6SLIU Zhiwei     /*
22940bfa5f6SLIU Zhiwei      * TODO: Current RVJ spec does not specify
23040bfa5f6SLIU Zhiwei      * how the extension interacts with XLEN.
23140bfa5f6SLIU Zhiwei      */
23240bfa5f6SLIU Zhiwei #ifndef CONFIG_USER_ONLY
233ef1ba32aSWeiwei Li     int mode = cpu_address_mode(env);
234ef1ba32aSWeiwei Li     xl = cpu_get_xl(env, mode);
23540bfa5f6SLIU Zhiwei     if (riscv_has_ext(env, RVJ)) {
236ef1ba32aSWeiwei Li         switch (mode) {
23740bfa5f6SLIU Zhiwei         case PRV_M:
23840bfa5f6SLIU Zhiwei             if (env->mmte & M_PM_ENABLE) {
23940bfa5f6SLIU Zhiwei                 mask = env->mpmmask;
24040bfa5f6SLIU Zhiwei                 base = env->mpmbase;
24140bfa5f6SLIU Zhiwei             }
24240bfa5f6SLIU Zhiwei             break;
24340bfa5f6SLIU Zhiwei         case PRV_S:
24440bfa5f6SLIU Zhiwei             if (env->mmte & S_PM_ENABLE) {
24540bfa5f6SLIU Zhiwei                 mask = env->spmmask;
24640bfa5f6SLIU Zhiwei                 base = env->spmbase;
24740bfa5f6SLIU Zhiwei             }
24840bfa5f6SLIU Zhiwei             break;
24940bfa5f6SLIU Zhiwei         case PRV_U:
25040bfa5f6SLIU Zhiwei             if (env->mmte & U_PM_ENABLE) {
25140bfa5f6SLIU Zhiwei                 mask = env->upmmask;
25240bfa5f6SLIU Zhiwei                 base = env->upmbase;
25340bfa5f6SLIU Zhiwei             }
25440bfa5f6SLIU Zhiwei             break;
25540bfa5f6SLIU Zhiwei         default:
25640bfa5f6SLIU Zhiwei             g_assert_not_reached();
25740bfa5f6SLIU Zhiwei         }
25840bfa5f6SLIU Zhiwei     }
25940bfa5f6SLIU Zhiwei #endif
260ef1ba32aSWeiwei Li     if (xl == MXL_RV32) {
26140bfa5f6SLIU Zhiwei         env->cur_pmmask = mask & UINT32_MAX;
26240bfa5f6SLIU Zhiwei         env->cur_pmbase = base & UINT32_MAX;
26340bfa5f6SLIU Zhiwei     } else {
26440bfa5f6SLIU Zhiwei         env->cur_pmmask = mask;
26540bfa5f6SLIU Zhiwei         env->cur_pmbase = base;
26640bfa5f6SLIU Zhiwei     }
26740bfa5f6SLIU Zhiwei }
26840bfa5f6SLIU Zhiwei 
269df354dd4SMichael Clark #ifndef CONFIG_USER_ONLY
27043dc93afSAnup Patel 
27143dc93afSAnup Patel /*
27243dc93afSAnup Patel  * The HS-mode is allowed to configure priority only for the
27343dc93afSAnup Patel  * following VS-mode local interrupts:
27443dc93afSAnup Patel  *
27543dc93afSAnup Patel  * 0  (Reserved interrupt, reads as zero)
27643dc93afSAnup Patel  * 1  Supervisor software interrupt
27743dc93afSAnup Patel  * 4  (Reserved interrupt, reads as zero)
27843dc93afSAnup Patel  * 5  Supervisor timer interrupt
27943dc93afSAnup Patel  * 8  (Reserved interrupt, reads as zero)
28043dc93afSAnup Patel  * 13 (Reserved interrupt)
28143dc93afSAnup Patel  * 14 "
28243dc93afSAnup Patel  * 15 "
28343dc93afSAnup Patel  * 16 "
28443577499SAnup Patel  * 17 "
28543577499SAnup Patel  * 18 "
28643577499SAnup Patel  * 19 "
28743577499SAnup Patel  * 20 "
28843577499SAnup Patel  * 21 "
28943dc93afSAnup Patel  * 22 "
29043577499SAnup Patel  * 23 "
29143dc93afSAnup Patel  */
29243dc93afSAnup Patel 
29343dc93afSAnup Patel static const int hviprio_index2irq[] = {
29443577499SAnup Patel     0, 1, 4, 5, 8, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 };
29543dc93afSAnup Patel static const int hviprio_index2rdzero[] = {
29643dc93afSAnup Patel     1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
riscv_cpu_hviprio_index2irq(int index,int * out_irq,int * out_rdzero)29743dc93afSAnup Patel 
29843dc93afSAnup Patel int riscv_cpu_hviprio_index2irq(int index, int *out_irq, int *out_rdzero)
29943dc93afSAnup Patel {
30043dc93afSAnup Patel     if (index < 0 || ARRAY_SIZE(hviprio_index2irq) <= index) {
30143dc93afSAnup Patel         return -EINVAL;
30243dc93afSAnup Patel     }
30343dc93afSAnup Patel 
30443dc93afSAnup Patel     if (out_irq) {
30543dc93afSAnup Patel         *out_irq = hviprio_index2irq[index];
30643dc93afSAnup Patel     }
30743dc93afSAnup Patel 
30843dc93afSAnup Patel     if (out_rdzero) {
30943dc93afSAnup Patel         *out_rdzero = hviprio_index2rdzero[index];
31043dc93afSAnup Patel     }
31143dc93afSAnup Patel 
31243dc93afSAnup Patel     return 0;
31343dc93afSAnup Patel }
31443dc93afSAnup Patel 
31543dc93afSAnup Patel /*
31643dc93afSAnup Patel  * Default priorities of local interrupts are defined in the
31743dc93afSAnup Patel  * RISC-V Advanced Interrupt Architecture specification.
31843dc93afSAnup Patel  *
31943dc93afSAnup Patel  * ----------------------------------------------------------------
32043dc93afSAnup Patel  *  Default  |
32143dc93afSAnup Patel  *  Priority | Major Interrupt Numbers
32243dc93afSAnup Patel  * ----------------------------------------------------------------
32343577499SAnup Patel  *  Highest  | 47, 23, 46, 45, 22, 44,
32443577499SAnup Patel  *           | 43, 21, 42, 41, 20, 40
32543dc93afSAnup Patel  *           |
32643dc93afSAnup Patel  *           | 11 (0b),  3 (03),  7 (07)
32743dc93afSAnup Patel  *           |  9 (09),  1 (01),  5 (05)
32843dc93afSAnup Patel  *           | 12 (0c)
32943dc93afSAnup Patel  *           | 10 (0a),  2 (02),  6 (06)
33043dc93afSAnup Patel  *           |
33143577499SAnup Patel  *           | 39, 19, 38, 37, 18, 36,
33243577499SAnup Patel  *  Lowest   | 35, 17, 34, 33, 16, 32
33343dc93afSAnup Patel  * ----------------------------------------------------------------
33443dc93afSAnup Patel  */
33543dc93afSAnup Patel static const uint8_t default_iprio[64] = {
33643577499SAnup Patel     /* Custom interrupts 48 to 63 */
33743577499SAnup Patel     [63] = IPRIO_MMAXIPRIO,
33843577499SAnup Patel     [62] = IPRIO_MMAXIPRIO,
33943577499SAnup Patel     [61] = IPRIO_MMAXIPRIO,
34043577499SAnup Patel     [60] = IPRIO_MMAXIPRIO,
34143577499SAnup Patel     [59] = IPRIO_MMAXIPRIO,
34243577499SAnup Patel     [58] = IPRIO_MMAXIPRIO,
34343577499SAnup Patel     [57] = IPRIO_MMAXIPRIO,
34443577499SAnup Patel     [56] = IPRIO_MMAXIPRIO,
34543577499SAnup Patel     [55] = IPRIO_MMAXIPRIO,
34643577499SAnup Patel     [54] = IPRIO_MMAXIPRIO,
34743577499SAnup Patel     [53] = IPRIO_MMAXIPRIO,
34843577499SAnup Patel     [52] = IPRIO_MMAXIPRIO,
34943577499SAnup Patel     [51] = IPRIO_MMAXIPRIO,
35043577499SAnup Patel     [50] = IPRIO_MMAXIPRIO,
35143577499SAnup Patel     [49] = IPRIO_MMAXIPRIO,
35243577499SAnup Patel     [48] = IPRIO_MMAXIPRIO,
35343dc93afSAnup Patel 
35443577499SAnup Patel     /* Custom interrupts 24 to 31 */
35543577499SAnup Patel     [31] = IPRIO_MMAXIPRIO,
35643577499SAnup Patel     [30] = IPRIO_MMAXIPRIO,
35743577499SAnup Patel     [29] = IPRIO_MMAXIPRIO,
35843577499SAnup Patel     [28] = IPRIO_MMAXIPRIO,
35943577499SAnup Patel     [27] = IPRIO_MMAXIPRIO,
36043577499SAnup Patel     [26] = IPRIO_MMAXIPRIO,
36143577499SAnup Patel     [25] = IPRIO_MMAXIPRIO,
36243577499SAnup Patel     [24] = IPRIO_MMAXIPRIO,
36343dc93afSAnup Patel 
36443577499SAnup Patel     [47] = IPRIO_DEFAULT_UPPER,
36543577499SAnup Patel     [23] = IPRIO_DEFAULT_UPPER + 1,
36643577499SAnup Patel     [46] = IPRIO_DEFAULT_UPPER + 2,
36743577499SAnup Patel     [45] = IPRIO_DEFAULT_UPPER + 3,
36843577499SAnup Patel     [22] = IPRIO_DEFAULT_UPPER + 4,
36943577499SAnup Patel     [44] = IPRIO_DEFAULT_UPPER + 5,
37043dc93afSAnup Patel 
37143577499SAnup Patel     [43] = IPRIO_DEFAULT_UPPER + 6,
37243577499SAnup Patel     [21] = IPRIO_DEFAULT_UPPER + 7,
37343577499SAnup Patel     [42] = IPRIO_DEFAULT_UPPER + 8,
37443577499SAnup Patel     [41] = IPRIO_DEFAULT_UPPER + 9,
37543577499SAnup Patel     [20] = IPRIO_DEFAULT_UPPER + 10,
37643577499SAnup Patel     [40] = IPRIO_DEFAULT_UPPER + 11,
37743dc93afSAnup Patel 
37843dc93afSAnup Patel     [11] = IPRIO_DEFAULT_M,
37943dc93afSAnup Patel     [3]  = IPRIO_DEFAULT_M + 1,
38043dc93afSAnup Patel     [7]  = IPRIO_DEFAULT_M + 2,
38143dc93afSAnup Patel 
38243dc93afSAnup Patel     [9]  = IPRIO_DEFAULT_S,
38343dc93afSAnup Patel     [1]  = IPRIO_DEFAULT_S + 1,
38443dc93afSAnup Patel     [5]  = IPRIO_DEFAULT_S + 2,
38543dc93afSAnup Patel 
38643dc93afSAnup Patel     [12] = IPRIO_DEFAULT_SGEXT,
38743dc93afSAnup Patel 
38843dc93afSAnup Patel     [10] = IPRIO_DEFAULT_VS,
38943dc93afSAnup Patel     [2]  = IPRIO_DEFAULT_VS + 1,
39043dc93afSAnup Patel     [6]  = IPRIO_DEFAULT_VS + 2,
39143dc93afSAnup Patel 
39243577499SAnup Patel     [39] = IPRIO_DEFAULT_LOWER,
39343577499SAnup Patel     [19] = IPRIO_DEFAULT_LOWER + 1,
39443577499SAnup Patel     [38] = IPRIO_DEFAULT_LOWER + 2,
39543577499SAnup Patel     [37] = IPRIO_DEFAULT_LOWER + 3,
39643577499SAnup Patel     [18] = IPRIO_DEFAULT_LOWER + 4,
39743577499SAnup Patel     [36] = IPRIO_DEFAULT_LOWER + 5,
39843dc93afSAnup Patel 
39943577499SAnup Patel     [35] = IPRIO_DEFAULT_LOWER + 6,
40043577499SAnup Patel     [17] = IPRIO_DEFAULT_LOWER + 7,
40143577499SAnup Patel     [34] = IPRIO_DEFAULT_LOWER + 8,
40243577499SAnup Patel     [33] = IPRIO_DEFAULT_LOWER + 9,
40343577499SAnup Patel     [16] = IPRIO_DEFAULT_LOWER + 10,
40443577499SAnup Patel     [32] = IPRIO_DEFAULT_LOWER + 11,
40543dc93afSAnup Patel };
riscv_cpu_default_priority(int irq)40643dc93afSAnup Patel 
40743dc93afSAnup Patel uint8_t riscv_cpu_default_priority(int irq)
40843dc93afSAnup Patel {
40943dc93afSAnup Patel     if (irq < 0 || irq > 63) {
41043dc93afSAnup Patel         return IPRIO_MMAXIPRIO;
41143dc93afSAnup Patel     }
41243dc93afSAnup Patel 
41343dc93afSAnup Patel     return default_iprio[irq] ? default_iprio[irq] : IPRIO_MMAXIPRIO;
41443dc93afSAnup Patel };
riscv_cpu_pending_to_irq(CPURISCVState * env,int extirq,unsigned int extirq_def_prio,uint64_t pending,uint8_t * iprio)41543dc93afSAnup Patel 
41643dc93afSAnup Patel static int riscv_cpu_pending_to_irq(CPURISCVState *env,
41743dc93afSAnup Patel                                     int extirq, unsigned int extirq_def_prio,
41843dc93afSAnup Patel                                     uint64_t pending, uint8_t *iprio)
41943dc93afSAnup Patel {
42043dc93afSAnup Patel     int irq, best_irq = RISCV_EXCP_NONE;
42143dc93afSAnup Patel     unsigned int prio, best_prio = UINT_MAX;
42243dc93afSAnup Patel 
42343dc93afSAnup Patel     if (!pending) {
42443dc93afSAnup Patel         return RISCV_EXCP_NONE;
42543dc93afSAnup Patel     }
42643dc93afSAnup Patel 
42743dc93afSAnup Patel     irq = ctz64(pending);
4289c33e08bSWeiwei Li     if (!((extirq == IRQ_M_EXT) ? riscv_cpu_cfg(env)->ext_smaia :
4299c33e08bSWeiwei Li                                   riscv_cpu_cfg(env)->ext_ssaia)) {
43043dc93afSAnup Patel         return irq;
43143dc93afSAnup Patel     }
43243dc93afSAnup Patel 
43343dc93afSAnup Patel     pending = pending >> irq;
43443dc93afSAnup Patel     while (pending) {
43543dc93afSAnup Patel         prio = iprio[irq];
43643dc93afSAnup Patel         if (!prio) {
43743dc93afSAnup Patel             if (irq == extirq) {
43843dc93afSAnup Patel                 prio = extirq_def_prio;
43943dc93afSAnup Patel             } else {
44043dc93afSAnup Patel                 prio = (riscv_cpu_default_priority(irq) < extirq_def_prio) ?
44143dc93afSAnup Patel                        1 : IPRIO_MMAXIPRIO;
44243dc93afSAnup Patel             }
44343dc93afSAnup Patel         }
44443dc93afSAnup Patel         if ((pending & 0x1) && (prio <= best_prio)) {
44543dc93afSAnup Patel             best_irq = irq;
44643dc93afSAnup Patel             best_prio = prio;
44743dc93afSAnup Patel         }
44843dc93afSAnup Patel         irq++;
44943dc93afSAnup Patel         pending = pending >> 1;
45043dc93afSAnup Patel     }
45143dc93afSAnup Patel 
45243dc93afSAnup Patel     return best_irq;
45343dc93afSAnup Patel }
45443dc93afSAnup Patel 
4551697837eSRajnesh Kanwal /*
45640336d5bSRajnesh Kanwal  * Doesn't report interrupts inserted using mvip from M-mode firmware or
45740336d5bSRajnesh Kanwal  * using hvip bits 13:63 from HS-mode. Those are returned in
45840336d5bSRajnesh Kanwal  * riscv_cpu_sirq_pending() and riscv_cpu_vsirq_pending().
riscv_cpu_all_pending(CPURISCVState * env)4591697837eSRajnesh Kanwal  */
4608f42415fSAndrew Bresticker uint64_t riscv_cpu_all_pending(CPURISCVState *env)
46143dc93afSAnup Patel {
46243dc93afSAnup Patel     uint32_t gein = get_field(env->hstatus, HSTATUS_VGEIN);
46343dc93afSAnup Patel     uint64_t vsgein = (env->hgeip & (1ULL << gein)) ? MIP_VSEIP : 0;
4643ec0fe18SAtish Patra     uint64_t vstip = (env->vstime_irq) ? MIP_VSTIP : 0;
46543dc93afSAnup Patel 
4663ec0fe18SAtish Patra     return (env->mip | vsgein | vstip) & env->mie;
46743dc93afSAnup Patel }
riscv_cpu_mirq_pending(CPURISCVState * env)46843dc93afSAnup Patel 
46943dc93afSAnup Patel int riscv_cpu_mirq_pending(CPURISCVState *env)
47043dc93afSAnup Patel {
47143dc93afSAnup Patel     uint64_t irqs = riscv_cpu_all_pending(env) & ~env->mideleg &
47243dc93afSAnup Patel                     ~(MIP_SGEIP | MIP_VSSIP | MIP_VSTIP | MIP_VSEIP);
47343dc93afSAnup Patel 
47443dc93afSAnup Patel     return riscv_cpu_pending_to_irq(env, IRQ_M_EXT, IPRIO_DEFAULT_M,
47543dc93afSAnup Patel                                     irqs, env->miprio);
47643dc93afSAnup Patel }
riscv_cpu_sirq_pending(CPURISCVState * env)47743dc93afSAnup Patel 
47843dc93afSAnup Patel int riscv_cpu_sirq_pending(CPURISCVState *env)
47943dc93afSAnup Patel {
48043dc93afSAnup Patel     uint64_t irqs = riscv_cpu_all_pending(env) & env->mideleg &
48143dc93afSAnup Patel                     ~(MIP_VSSIP | MIP_VSTIP | MIP_VSEIP);
4821697837eSRajnesh Kanwal     uint64_t irqs_f = env->mvip & env->mvien & ~env->mideleg & env->sie;
48343dc93afSAnup Patel 
48443dc93afSAnup Patel     return riscv_cpu_pending_to_irq(env, IRQ_S_EXT, IPRIO_DEFAULT_S,
4851697837eSRajnesh Kanwal                                     irqs | irqs_f, env->siprio);
48643dc93afSAnup Patel }
riscv_cpu_vsirq_pending(CPURISCVState * env)48743dc93afSAnup Patel 
48843dc93afSAnup Patel int riscv_cpu_vsirq_pending(CPURISCVState *env)
48943dc93afSAnup Patel {
49040336d5bSRajnesh Kanwal     uint64_t irqs = riscv_cpu_all_pending(env) & env->mideleg & env->hideleg;
49140336d5bSRajnesh Kanwal     uint64_t irqs_f_vs = env->hvip & env->hvien & ~env->hideleg & env->vsie;
49240336d5bSRajnesh Kanwal     uint64_t vsbits;
49340336d5bSRajnesh Kanwal 
49440336d5bSRajnesh Kanwal     /* Bring VS-level bits to correct position */
49540336d5bSRajnesh Kanwal     vsbits = irqs & VS_MODE_INTERRUPTS;
49640336d5bSRajnesh Kanwal     irqs &= ~VS_MODE_INTERRUPTS;
49740336d5bSRajnesh Kanwal     irqs |= vsbits >> 1;
49843dc93afSAnup Patel 
49943dc93afSAnup Patel     return riscv_cpu_pending_to_irq(env, IRQ_S_EXT, IPRIO_DEFAULT_S,
50040336d5bSRajnesh Kanwal                                     (irqs | irqs_f_vs), env->hviprio);
50143dc93afSAnup Patel }
riscv_cpu_local_irq_pending(CPURISCVState * env)50243dc93afSAnup Patel 
503df354dd4SMichael Clark static int riscv_cpu_local_irq_pending(CPURISCVState *env)
504df354dd4SMichael Clark {
50540336d5bSRajnesh Kanwal     uint64_t irqs, pending, mie, hsie, vsie, irqs_f, irqs_f_vs;
50640336d5bSRajnesh Kanwal     uint64_t vsbits, irq_delegated;
50743dc93afSAnup Patel     int virq;
5083ef10a09SAlistair Francis 
50943dc93afSAnup Patel     /* Determine interrupt enable state of all privilege modes */
51038256529SWeiwei Li     if (env->virt_enabled) {
51143dc93afSAnup Patel         mie = 1;
51243dc93afSAnup Patel         hsie = 1;
51343dc93afSAnup Patel         vsie = (env->priv < PRV_S) ||
51443dc93afSAnup Patel                (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_SIE));
515df354dd4SMichael Clark     } else {
51643dc93afSAnup Patel         mie = (env->priv < PRV_M) ||
51743dc93afSAnup Patel               (env->priv == PRV_M && get_field(env->mstatus, MSTATUS_MIE));
51843dc93afSAnup Patel         hsie = (env->priv < PRV_S) ||
51943dc93afSAnup Patel                (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_SIE));
52043dc93afSAnup Patel         vsie = 0;
521df354dd4SMichael Clark     }
52243dc93afSAnup Patel 
52343dc93afSAnup Patel     /* Determine all pending interrupts */
52443dc93afSAnup Patel     pending = riscv_cpu_all_pending(env);
52543dc93afSAnup Patel 
52643dc93afSAnup Patel     /* Check M-mode interrupts */
52743dc93afSAnup Patel     irqs = pending & ~env->mideleg & -mie;
52843dc93afSAnup Patel     if (irqs) {
52943dc93afSAnup Patel         return riscv_cpu_pending_to_irq(env, IRQ_M_EXT, IPRIO_DEFAULT_M,
53043dc93afSAnup Patel                                         irqs, env->miprio);
53143dc93afSAnup Patel     }
53243dc93afSAnup Patel 
5331697837eSRajnesh Kanwal     /* Check for virtual S-mode interrupts. */
5341697837eSRajnesh Kanwal     irqs_f = env->mvip & (env->mvien & ~env->mideleg) & env->sie;
5351697837eSRajnesh Kanwal 
53643dc93afSAnup Patel     /* Check HS-mode interrupts */
5371697837eSRajnesh Kanwal     irqs =  ((pending & env->mideleg & ~env->hideleg) | irqs_f) & -hsie;
53843dc93afSAnup Patel     if (irqs) {
53943dc93afSAnup Patel         return riscv_cpu_pending_to_irq(env, IRQ_S_EXT, IPRIO_DEFAULT_S,
54043dc93afSAnup Patel                                         irqs, env->siprio);
54143dc93afSAnup Patel     }
54243dc93afSAnup Patel 
54340336d5bSRajnesh Kanwal     /* Check for virtual VS-mode interrupts. */
54440336d5bSRajnesh Kanwal     irqs_f_vs = env->hvip & env->hvien & ~env->hideleg & env->vsie;
54540336d5bSRajnesh Kanwal 
54643dc93afSAnup Patel     /* Check VS-mode interrupts */
54740336d5bSRajnesh Kanwal     irq_delegated = pending & env->mideleg & env->hideleg;
54840336d5bSRajnesh Kanwal 
54940336d5bSRajnesh Kanwal     /* Bring VS-level bits to correct position */
55040336d5bSRajnesh Kanwal     vsbits = irq_delegated & VS_MODE_INTERRUPTS;
55140336d5bSRajnesh Kanwal     irq_delegated &= ~VS_MODE_INTERRUPTS;
55240336d5bSRajnesh Kanwal     irq_delegated |= vsbits >> 1;
55340336d5bSRajnesh Kanwal 
55440336d5bSRajnesh Kanwal     irqs = (irq_delegated | irqs_f_vs) & -vsie;
55543dc93afSAnup Patel     if (irqs) {
55643dc93afSAnup Patel         virq = riscv_cpu_pending_to_irq(env, IRQ_S_EXT, IPRIO_DEFAULT_S,
55740336d5bSRajnesh Kanwal                                         irqs, env->hviprio);
55840336d5bSRajnesh Kanwal         if (virq <= 0 || (virq > 12 && virq <= 63)) {
55940336d5bSRajnesh Kanwal             return virq;
56040336d5bSRajnesh Kanwal         } else {
56140336d5bSRajnesh Kanwal             return virq + 1;
56240336d5bSRajnesh Kanwal         }
56343dc93afSAnup Patel     }
56443dc93afSAnup Patel 
56543dc93afSAnup Patel     /* Indicate no pending interrupt */
56643dc93afSAnup Patel     return RISCV_EXCP_NONE;
567df354dd4SMichael Clark }
riscv_cpu_exec_interrupt(CPUState * cs,int interrupt_request)568df354dd4SMichael Clark 
569df354dd4SMichael Clark bool riscv_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
570df354dd4SMichael Clark {
571df354dd4SMichael Clark     if (interrupt_request & CPU_INTERRUPT_HARD) {
572df354dd4SMichael Clark         RISCVCPU *cpu = RISCV_CPU(cs);
573df354dd4SMichael Clark         CPURISCVState *env = &cpu->env;
574df354dd4SMichael Clark         int interruptno = riscv_cpu_local_irq_pending(env);
575df354dd4SMichael Clark         if (interruptno >= 0) {
576df354dd4SMichael Clark             cs->exception_index = RISCV_EXCP_INT_FLAG | interruptno;
577df354dd4SMichael Clark             riscv_cpu_do_interrupt(cs);
578df354dd4SMichael Clark             return true;
579df354dd4SMichael Clark         }
580df354dd4SMichael Clark     }
581df354dd4SMichael Clark     return false;
582df354dd4SMichael Clark }
583df354dd4SMichael Clark 
riscv_cpu_fp_enabled(CPURISCVState * env)584b345b480SAlistair Francis /* Return true is floating point support is currently enabled */
585b345b480SAlistair Francis bool riscv_cpu_fp_enabled(CPURISCVState *env)
586b345b480SAlistair Francis {
587b345b480SAlistair Francis     if (env->mstatus & MSTATUS_FS) {
58838256529SWeiwei Li         if (env->virt_enabled && !(env->mstatus_hs & MSTATUS_FS)) {
58929409c1dSAlistair Francis             return false;
59029409c1dSAlistair Francis         }
591b345b480SAlistair Francis         return true;
592b345b480SAlistair Francis     }
593b345b480SAlistair Francis 
594b345b480SAlistair Francis     return false;
595b345b480SAlistair Francis }
596b345b480SAlistair Francis 
riscv_cpu_vector_enabled(CPURISCVState * env)59761b4b69dSLIU Zhiwei /* Return true is vector support is currently enabled */
59861b4b69dSLIU Zhiwei bool riscv_cpu_vector_enabled(CPURISCVState *env)
59961b4b69dSLIU Zhiwei {
60061b4b69dSLIU Zhiwei     if (env->mstatus & MSTATUS_VS) {
60138256529SWeiwei Li         if (env->virt_enabled && !(env->mstatus_hs & MSTATUS_VS)) {
60261b4b69dSLIU Zhiwei             return false;
60361b4b69dSLIU Zhiwei         }
60461b4b69dSLIU Zhiwei         return true;
60561b4b69dSLIU Zhiwei     }
60661b4b69dSLIU Zhiwei 
60761b4b69dSLIU Zhiwei     return false;
60861b4b69dSLIU Zhiwei }
riscv_cpu_swap_hypervisor_regs(CPURISCVState * env)60961b4b69dSLIU Zhiwei 
61066e594f2SAlistair Francis void riscv_cpu_swap_hypervisor_regs(CPURISCVState *env)
61166e594f2SAlistair Francis {
612c163b3baSWeiwei Li     uint64_t mstatus_mask = MSTATUS_MXR | MSTATUS_SUM |
613284d697cSYifei Jiang                             MSTATUS_SPP | MSTATUS_SPIE | MSTATUS_SIE |
61461b4b69dSLIU Zhiwei                             MSTATUS64_UXL | MSTATUS_VS;
615c163b3baSWeiwei Li 
616c163b3baSWeiwei Li     if (riscv_has_ext(env, RVF)) {
617c163b3baSWeiwei Li         mstatus_mask |= MSTATUS_FS;
618c163b3baSWeiwei Li     }
61938256529SWeiwei Li     bool current_virt = env->virt_enabled;
62066e594f2SAlistair Francis 
62153309be1SDeepak Gupta     /*
62253309be1SDeepak Gupta      * If zicfilp extension available and henvcfg.LPE = 1,
62353309be1SDeepak Gupta      * then apply SPELP mask on mstatus
62453309be1SDeepak Gupta      */
62553309be1SDeepak Gupta     if (env_archcpu(env)->cfg.ext_zicfilp &&
62653309be1SDeepak Gupta         get_field(env->henvcfg, HENVCFG_LPE)) {
62753309be1SDeepak Gupta         mstatus_mask |= SSTATUS_SPELP;
62853309be1SDeepak Gupta     }
62953309be1SDeepak Gupta 
63066e594f2SAlistair Francis     g_assert(riscv_has_ext(env, RVH));
63166e594f2SAlistair Francis 
63266e594f2SAlistair Francis     if (current_virt) {
63366e594f2SAlistair Francis         /* Current V=1 and we are about to change to V=0 */
63466e594f2SAlistair Francis         env->vsstatus = env->mstatus & mstatus_mask;
63566e594f2SAlistair Francis         env->mstatus &= ~mstatus_mask;
63666e594f2SAlistair Francis         env->mstatus |= env->mstatus_hs;
63766e594f2SAlistair Francis 
63866e594f2SAlistair Francis         env->vstvec = env->stvec;
63966e594f2SAlistair Francis         env->stvec = env->stvec_hs;
64066e594f2SAlistair Francis 
64166e594f2SAlistair Francis         env->vsscratch = env->sscratch;
64266e594f2SAlistair Francis         env->sscratch = env->sscratch_hs;
64366e594f2SAlistair Francis 
64466e594f2SAlistair Francis         env->vsepc = env->sepc;
64566e594f2SAlistair Francis         env->sepc = env->sepc_hs;
64666e594f2SAlistair Francis 
64766e594f2SAlistair Francis         env->vscause = env->scause;
64866e594f2SAlistair Francis         env->scause = env->scause_hs;
64966e594f2SAlistair Francis 
650ac12b601SAtish Patra         env->vstval = env->stval;
651ac12b601SAtish Patra         env->stval = env->stval_hs;
65266e594f2SAlistair Francis 
65366e594f2SAlistair Francis         env->vsatp = env->satp;
65466e594f2SAlistair Francis         env->satp = env->satp_hs;
65566e594f2SAlistair Francis     } else {
65666e594f2SAlistair Francis         /* Current V=0 and we are about to change to V=1 */
65766e594f2SAlistair Francis         env->mstatus_hs = env->mstatus & mstatus_mask;
65866e594f2SAlistair Francis         env->mstatus &= ~mstatus_mask;
65966e594f2SAlistair Francis         env->mstatus |= env->vsstatus;
66066e594f2SAlistair Francis 
66166e594f2SAlistair Francis         env->stvec_hs = env->stvec;
66266e594f2SAlistair Francis         env->stvec = env->vstvec;
66366e594f2SAlistair Francis 
66466e594f2SAlistair Francis         env->sscratch_hs = env->sscratch;
66566e594f2SAlistair Francis         env->sscratch = env->vsscratch;
66666e594f2SAlistair Francis 
66766e594f2SAlistair Francis         env->sepc_hs = env->sepc;
66866e594f2SAlistair Francis         env->sepc = env->vsepc;
66966e594f2SAlistair Francis 
67066e594f2SAlistair Francis         env->scause_hs = env->scause;
67166e594f2SAlistair Francis         env->scause = env->vscause;
67266e594f2SAlistair Francis 
673ac12b601SAtish Patra         env->stval_hs = env->stval;
674ac12b601SAtish Patra         env->stval = env->vstval;
67566e594f2SAlistair Francis 
67666e594f2SAlistair Francis         env->satp_hs = env->satp;
67766e594f2SAlistair Francis         env->satp = env->vsatp;
67866e594f2SAlistair Francis     }
67966e594f2SAlistair Francis }
riscv_cpu_get_geilen(CPURISCVState * env)68066e594f2SAlistair Francis 
681cd032fe7SAnup Patel target_ulong riscv_cpu_get_geilen(CPURISCVState *env)
682cd032fe7SAnup Patel {
683cd032fe7SAnup Patel     if (!riscv_has_ext(env, RVH)) {
684cd032fe7SAnup Patel         return 0;
685cd032fe7SAnup Patel     }
686cd032fe7SAnup Patel 
687cd032fe7SAnup Patel     return env->geilen;
688cd032fe7SAnup Patel }
riscv_cpu_set_geilen(CPURISCVState * env,target_ulong geilen)689cd032fe7SAnup Patel 
690cd032fe7SAnup Patel void riscv_cpu_set_geilen(CPURISCVState *env, target_ulong geilen)
691cd032fe7SAnup Patel {
692cd032fe7SAnup Patel     if (!riscv_has_ext(env, RVH)) {
693cd032fe7SAnup Patel         return;
694cd032fe7SAnup Patel     }
695cd032fe7SAnup Patel 
696cd032fe7SAnup Patel     if (geilen > (TARGET_LONG_BITS - 1)) {
697cd032fe7SAnup Patel         return;
698cd032fe7SAnup Patel     }
699cd032fe7SAnup Patel 
700cd032fe7SAnup Patel     env->geilen = geilen;
701cd032fe7SAnup Patel }
riscv_cpu_claim_interrupts(RISCVCPU * cpu,uint64_t interrupts)702cd032fe7SAnup Patel 
703d028ac75SAnup Patel int riscv_cpu_claim_interrupts(RISCVCPU *cpu, uint64_t interrupts)
704e3e7039cSMichael Clark {
705e3e7039cSMichael Clark     CPURISCVState *env = &cpu->env;
706e3e7039cSMichael Clark     if (env->miclaim & interrupts) {
707e3e7039cSMichael Clark         return -1;
708e3e7039cSMichael Clark     } else {
709e3e7039cSMichael Clark         env->miclaim |= interrupts;
710e3e7039cSMichael Clark         return 0;
711e3e7039cSMichael Clark     }
712e3e7039cSMichael Clark }
riscv_cpu_interrupt(CPURISCVState * env)713e3e7039cSMichael Clark 
7141ebad505SRajnesh Kanwal void riscv_cpu_interrupt(CPURISCVState *env)
715df354dd4SMichael Clark {
7161697837eSRajnesh Kanwal     uint64_t gein, vsgein = 0, vstip = 0, irqf = 0;
717bbb9fc25SWeiwei Li     CPUState *cs = env_cpu(env);
7181ebad505SRajnesh Kanwal 
71932ead8e6SStefan Hajnoczi     BQL_LOCK_GUARD();
720df354dd4SMichael Clark 
72138256529SWeiwei Li     if (env->virt_enabled) {
722cd032fe7SAnup Patel         gein = get_field(env->hstatus, HSTATUS_VGEIN);
723cd032fe7SAnup Patel         vsgein = (env->hgeip & (1ULL << gein)) ? MIP_VSEIP : 0;
72440336d5bSRajnesh Kanwal         irqf = env->hvien & env->hvip & env->vsie;
7251697837eSRajnesh Kanwal     } else {
7261697837eSRajnesh Kanwal         irqf = env->mvien & env->mvip & env->sie;
727cd032fe7SAnup Patel     }
728cd032fe7SAnup Patel 
7293ec0fe18SAtish Patra     vstip = env->vstime_irq ? MIP_VSTIP : 0;
7303ec0fe18SAtish Patra 
7311697837eSRajnesh Kanwal     if (env->mip | vsgein | vstip | irqf) {
7327ec5d303SAlistair Francis         cpu_interrupt(cs, CPU_INTERRUPT_HARD);
7337ec5d303SAlistair Francis     } else {
7347ec5d303SAlistair Francis         cpu_reset_interrupt(cs, CPU_INTERRUPT_HARD);
7357ec5d303SAlistair Francis     }
7361ebad505SRajnesh Kanwal }
riscv_cpu_update_mip(CPURISCVState * env,uint64_t mask,uint64_t value)7371ebad505SRajnesh Kanwal 
7381ebad505SRajnesh Kanwal uint64_t riscv_cpu_update_mip(CPURISCVState *env, uint64_t mask, uint64_t value)
7391ebad505SRajnesh Kanwal {
7401ebad505SRajnesh Kanwal     uint64_t old = env->mip;
7411ebad505SRajnesh Kanwal 
7421ebad505SRajnesh Kanwal     /* No need to update mip for VSTIP */
7431ebad505SRajnesh Kanwal     mask = ((mask == MIP_VSTIP) && env->vstime_irq) ? 0 : mask;
7441ebad505SRajnesh Kanwal 
74532ead8e6SStefan Hajnoczi     BQL_LOCK_GUARD();
7461ebad505SRajnesh Kanwal 
7471ebad505SRajnesh Kanwal     env->mip = (env->mip & ~mask) | (value & mask);
7481ebad505SRajnesh Kanwal 
7491ebad505SRajnesh Kanwal     riscv_cpu_interrupt(env);
7507ec5d303SAlistair Francis 
751df354dd4SMichael Clark     return old;
752df354dd4SMichael Clark }
riscv_cpu_set_rdtime_fn(CPURISCVState * env,uint64_t (* fn)(void *),void * arg)753df354dd4SMichael Clark 
754e2f01f3cSFrank Chang void riscv_cpu_set_rdtime_fn(CPURISCVState *env, uint64_t (*fn)(void *),
755e2f01f3cSFrank Chang                              void *arg)
756c6957248SAnup Patel {
757c6957248SAnup Patel     env->rdtime_fn = fn;
758a47ef6e9SBin Meng     env->rdtime_fn_arg = arg;
759c6957248SAnup Patel }
riscv_cpu_set_aia_ireg_rmw_fn(CPURISCVState * env,uint32_t priv,int (* rmw_fn)(void * arg,target_ulong reg,target_ulong * val,target_ulong new_val,target_ulong write_mask),void * rmw_fn_arg)760c6957248SAnup Patel 
76169077dd6SAnup Patel void riscv_cpu_set_aia_ireg_rmw_fn(CPURISCVState *env, uint32_t priv,
76269077dd6SAnup Patel                                    int (*rmw_fn)(void *arg,
76369077dd6SAnup Patel                                                  target_ulong reg,
76469077dd6SAnup Patel                                                  target_ulong *val,
76569077dd6SAnup Patel                                                  target_ulong new_val,
76669077dd6SAnup Patel                                                  target_ulong write_mask),
76769077dd6SAnup Patel                                    void *rmw_fn_arg)
76869077dd6SAnup Patel {
76969077dd6SAnup Patel     if (priv <= PRV_M) {
77069077dd6SAnup Patel         env->aia_ireg_rmw_fn[priv] = rmw_fn;
77169077dd6SAnup Patel         env->aia_ireg_rmw_fn_arg[priv] = rmw_fn_arg;
77269077dd6SAnup Patel     }
77369077dd6SAnup Patel }
riscv_cpu_set_mode(CPURISCVState * env,target_ulong newpriv,bool virt_en)77469077dd6SAnup Patel 
77568c05fb5SRajnesh Kanwal void riscv_cpu_set_mode(CPURISCVState *env, target_ulong newpriv, bool virt_en)
776df354dd4SMichael Clark {
7770c98ccefSWeiwei Li     g_assert(newpriv <= PRV_M && newpriv != PRV_RESERVED);
7780c98ccefSWeiwei Li 
779b2d7a7c7SAtish Patra     if (newpriv != env->priv || env->virt_enabled != virt_en) {
780b2d7a7c7SAtish Patra         if (icount_enabled()) {
7815a4ae64cSLIU Zhiwei             riscv_itrigger_update_priv(env);
7825a4ae64cSLIU Zhiwei         }
783b2d7a7c7SAtish Patra 
784b2d7a7c7SAtish Patra         riscv_pmu_update_fixed_ctrs(env, newpriv, virt_en);
785b2d7a7c7SAtish Patra     }
786b2d7a7c7SAtish Patra 
787df354dd4SMichael Clark     /* tlb_flush is unnecessary as mode is contained in mmu_idx */
788df354dd4SMichael Clark     env->priv = newpriv;
789440544e1SLIU Zhiwei     env->xl = cpu_recompute_xl(env);
79040bfa5f6SLIU Zhiwei     riscv_cpu_update_mask(env);
791c13b169fSJoel Sing 
792c13b169fSJoel Sing     /*
793c13b169fSJoel Sing      * Clear the load reservation - otherwise a reservation placed in one
794c13b169fSJoel Sing      * context/process can be used by another, resulting in an SC succeeding
795c13b169fSJoel Sing      * incorrectly. Version 2.2 of the ISA specification explicitly requires
796c13b169fSJoel Sing      * this behaviour, while later revisions say that the kernel "should" use
797c13b169fSJoel Sing      * an SC instruction to force the yielding of a load reservation on a
798c13b169fSJoel Sing      * preemptive context switch. As a result, do both.
799c13b169fSJoel Sing      */
800c13b169fSJoel Sing     env->load_res = -1;
80168c05fb5SRajnesh Kanwal 
80268c05fb5SRajnesh Kanwal     if (riscv_has_ext(env, RVH)) {
80368c05fb5SRajnesh Kanwal         /* Flush the TLB on all virt mode changes. */
80468c05fb5SRajnesh Kanwal         if (env->virt_enabled != virt_en) {
80568c05fb5SRajnesh Kanwal             tlb_flush(env_cpu(env));
80668c05fb5SRajnesh Kanwal         }
80768c05fb5SRajnesh Kanwal 
80868c05fb5SRajnesh Kanwal         env->virt_enabled = virt_en;
80968c05fb5SRajnesh Kanwal         if (virt_en) {
81068c05fb5SRajnesh Kanwal             /*
81168c05fb5SRajnesh Kanwal              * The guest external interrupts from an interrupt controller are
81268c05fb5SRajnesh Kanwal              * delivered only when the Guest/VM is running (i.e. V=1). This
81368c05fb5SRajnesh Kanwal              * means any guest external interrupt which is triggered while the
81468c05fb5SRajnesh Kanwal              * Guest/VM is not running (i.e. V=0) will be missed on QEMU
81568c05fb5SRajnesh Kanwal              * resulting in guest with sluggish response to serial console
81668c05fb5SRajnesh Kanwal              * input and other I/O events.
81768c05fb5SRajnesh Kanwal              *
81868c05fb5SRajnesh Kanwal              * To solve this, we check and inject interrupt after setting V=1.
81968c05fb5SRajnesh Kanwal              */
82068c05fb5SRajnesh Kanwal             riscv_cpu_update_mip(env, 0, 0);
82168c05fb5SRajnesh Kanwal         }
82268c05fb5SRajnesh Kanwal     }
823df354dd4SMichael Clark }
824df354dd4SMichael Clark 
825b297129aSJim Shu /*
826b297129aSJim Shu  * get_physical_address_pmp - check PMP permission for this physical address
827b297129aSJim Shu  *
828b297129aSJim Shu  * Match the PMP region and check permission for this physical address and it's
829b297129aSJim Shu  * TLB page. Returns 0 if the permission checking was successful
830b297129aSJim Shu  *
831b297129aSJim Shu  * @env: CPURISCVState
832b297129aSJim Shu  * @prot: The returned protection attributes
833b297129aSJim Shu  * @addr: The physical address to be checked permission
834b297129aSJim Shu  * @access_type: The type of MMU access
835b297129aSJim Shu  * @mode: Indicates current privilege level.
get_physical_address_pmp(CPURISCVState * env,int * prot,hwaddr addr,int size,MMUAccessType access_type,int mode)836b297129aSJim Shu  */
837bfc7ee12SWeiwei Li static int get_physical_address_pmp(CPURISCVState *env, int *prot, hwaddr addr,
838b297129aSJim Shu                                     int size, MMUAccessType access_type,
839b297129aSJim Shu                                     int mode)
840b297129aSJim Shu {
841b297129aSJim Shu     pmp_priv_t pmp_priv;
842e9c39713SWeiwei Li     bool pmp_has_privs;
843b297129aSJim Shu 
8443fe40ef5SDaniel Henrique Barboza     if (!riscv_cpu_cfg(env)->pmp) {
845b297129aSJim Shu         *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
846b297129aSJim Shu         return TRANSLATE_SUCCESS;
847b297129aSJim Shu     }
848b297129aSJim Shu 
849e9c39713SWeiwei Li     pmp_has_privs = pmp_hart_has_privs(env, addr, size, 1 << access_type,
850824cac68SLIU Zhiwei                                        &pmp_priv, mode);
851e9c39713SWeiwei Li     if (!pmp_has_privs) {
852b297129aSJim Shu         *prot = 0;
853b297129aSJim Shu         return TRANSLATE_PMP_FAIL;
854b297129aSJim Shu     }
855b297129aSJim Shu 
856b297129aSJim Shu     *prot = pmp_priv_to_page_prot(pmp_priv);
857b297129aSJim Shu 
858b297129aSJim Shu     return TRANSLATE_SUCCESS;
859b297129aSJim Shu }
860b297129aSJim Shu 
8613b57254dSWeiwei Li /*
8623b57254dSWeiwei Li  * get_physical_address - get the physical address for this virtual address
863df354dd4SMichael Clark  *
864df354dd4SMichael Clark  * Do a page table walk to obtain the physical address corresponding to a
865df354dd4SMichael Clark  * virtual address. Returns 0 if the translation was successful
866df354dd4SMichael Clark  *
867df354dd4SMichael Clark  * Adapted from Spike's mmu_t::translate and mmu_t::walk
868df354dd4SMichael Clark  *
8691448689cSAlistair Francis  * @env: CPURISCVState
8701448689cSAlistair Francis  * @physical: This will be set to the calculated physical address
8711448689cSAlistair Francis  * @prot: The returned protection attributes
87277dff650SWeiwei Li  * @addr: The virtual address or guest physical address to be translated
87333a9a57dSYifei Jiang  * @fault_pte_addr: If not NULL, this will be set to fault pte address
87433a9a57dSYifei Jiang  *                  when a error occurs on pte address translation.
87533a9a57dSYifei Jiang  *                  This will already be shifted to match htval.
8761448689cSAlistair Francis  * @access_type: The type of MMU access
8771448689cSAlistair Francis  * @mmu_idx: Indicates current privilege level
8781448689cSAlistair Francis  * @first_stage: Are we in first stage translation?
8791448689cSAlistair Francis  *               Second stage is used for hypervisor guest translation
88036a18664SAlistair Francis  * @two_stage: Are we going to perform two stage translation
88111c27c6dSJade Fink  * @is_debug: Is this access from a debugger or the monitor?
get_physical_address(CPURISCVState * env,hwaddr * physical,int * ret_prot,vaddr addr,target_ulong * fault_pte_addr,int access_type,int mmu_idx,bool first_stage,bool two_stage,bool is_debug,bool is_probe)882df354dd4SMichael Clark  */
883df354dd4SMichael Clark static int get_physical_address(CPURISCVState *env, hwaddr *physical,
884e1dd1507SRichard Henderson                                 int *ret_prot, vaddr addr,
88533a9a57dSYifei Jiang                                 target_ulong *fault_pte_addr,
8861448689cSAlistair Francis                                 int access_type, int mmu_idx,
88711c27c6dSJade Fink                                 bool first_stage, bool two_stage,
888669b4867SDeepak Gupta                                 bool is_debug, bool is_probe)
889df354dd4SMichael Clark {
8903b57254dSWeiwei Li     /*
8913b57254dSWeiwei Li      * NOTE: the env->pc value visible here will not be
892df354dd4SMichael Clark      * correct, but the value visible to the exception handler
8933b57254dSWeiwei Li      * (riscv_cpu_do_interrupt) is correct
8943b57254dSWeiwei Li      */
895aacb578fSPalmer Dabbelt     MemTxResult res;
896aacb578fSPalmer Dabbelt     MemTxAttrs attrs = MEMTXATTRS_UNSPECIFIED;
897340b5805SRichard Henderson     int mode = mmuidx_priv(mmu_idx);
89836a18664SAlistair Francis     bool use_background = false;
89905e6ca5eSGuo Ren     hwaddr ppn;
9002bacb224SWeiwei Li     int napot_bits = 0;
9012bacb224SWeiwei Li     target_ulong napot_mask;
902669b4867SDeepak Gupta     bool is_sstack_idx = ((mmu_idx & MMU_IDX_SS_WRITE) == MMU_IDX_SS_WRITE);
903669b4867SDeepak Gupta     bool sstack_page = false;
904df354dd4SMichael Clark 
90536a18664SAlistair Francis     /*
90636a18664SAlistair Francis      * Check if we should use the background registers for the two
90736a18664SAlistair Francis      * stage translation. We don't need to check if we actually need
90836a18664SAlistair Francis      * two stage translation as that happened before this function
90936a18664SAlistair Francis      * was called. Background registers will be used if the guest has
91036a18664SAlistair Francis      * forced a two stage translation to be on (in HS or M mode).
91136a18664SAlistair Francis      */
91238256529SWeiwei Li     if (!env->virt_enabled && two_stage) {
91329b3361bSAlistair Francis         use_background = true;
91429b3361bSAlistair Francis     }
91529b3361bSAlistair Francis 
916dcf654a3SDaniel Henrique Barboza     if (mode == PRV_M || !riscv_cpu_cfg(env)->mmu) {
917df354dd4SMichael Clark         *physical = addr;
918e1dd1507SRichard Henderson         *ret_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
919df354dd4SMichael Clark         return TRANSLATE_SUCCESS;
920df354dd4SMichael Clark     }
921df354dd4SMichael Clark 
922e1dd1507SRichard Henderson     *ret_prot = 0;
923df354dd4SMichael Clark 
924ddf78132SBin Meng     hwaddr base;
92538303e8aSRichard Henderson     int levels, ptidxbits, ptesize, vm, widened;
926df354dd4SMichael Clark 
92736a18664SAlistair Francis     if (first_stage == true) {
92836a18664SAlistair Francis         if (use_background) {
929db23e5d9SRichard Henderson             if (riscv_cpu_mxl(env) == MXL_RV32) {
930419ddf00SAlistair Francis                 base = (hwaddr)get_field(env->vsatp, SATP32_PPN) << PGSHIFT;
931419ddf00SAlistair Francis                 vm = get_field(env->vsatp, SATP32_MODE);
93236a18664SAlistair Francis             } else {
933419ddf00SAlistair Francis                 base = (hwaddr)get_field(env->vsatp, SATP64_PPN) << PGSHIFT;
934419ddf00SAlistair Francis                 vm = get_field(env->vsatp, SATP64_MODE);
935419ddf00SAlistair Francis             }
936419ddf00SAlistair Francis         } else {
937db23e5d9SRichard Henderson             if (riscv_cpu_mxl(env) == MXL_RV32) {
938419ddf00SAlistair Francis                 base = (hwaddr)get_field(env->satp, SATP32_PPN) << PGSHIFT;
939419ddf00SAlistair Francis                 vm = get_field(env->satp, SATP32_MODE);
940419ddf00SAlistair Francis             } else {
941419ddf00SAlistair Francis                 base = (hwaddr)get_field(env->satp, SATP64_PPN) << PGSHIFT;
942419ddf00SAlistair Francis                 vm = get_field(env->satp, SATP64_MODE);
943419ddf00SAlistair Francis             }
94436a18664SAlistair Francis         }
94536a18664SAlistair Francis         widened = 0;
94636a18664SAlistair Francis     } else {
947db23e5d9SRichard Henderson         if (riscv_cpu_mxl(env) == MXL_RV32) {
948994b6bb2SAlistair Francis             base = (hwaddr)get_field(env->hgatp, SATP32_PPN) << PGSHIFT;
949994b6bb2SAlistair Francis             vm = get_field(env->hgatp, SATP32_MODE);
950994b6bb2SAlistair Francis         } else {
951994b6bb2SAlistair Francis             base = (hwaddr)get_field(env->hgatp, SATP64_PPN) << PGSHIFT;
952994b6bb2SAlistair Francis             vm = get_field(env->hgatp, SATP64_MODE);
953994b6bb2SAlistair Francis         }
95436a18664SAlistair Francis         widened = 2;
95536a18664SAlistair Francis     }
95638303e8aSRichard Henderson 
957df354dd4SMichael Clark     switch (vm) {
958df354dd4SMichael Clark     case VM_1_10_SV32:
959df354dd4SMichael Clark       levels = 2; ptidxbits = 10; ptesize = 4; break;
960df354dd4SMichael Clark     case VM_1_10_SV39:
961df354dd4SMichael Clark       levels = 3; ptidxbits = 9; ptesize = 8; break;
962df354dd4SMichael Clark     case VM_1_10_SV48:
963df354dd4SMichael Clark       levels = 4; ptidxbits = 9; ptesize = 8; break;
964df354dd4SMichael Clark     case VM_1_10_SV57:
965df354dd4SMichael Clark       levels = 5; ptidxbits = 9; ptesize = 8; break;
966df354dd4SMichael Clark     case VM_1_10_MBARE:
967df354dd4SMichael Clark         *physical = addr;
968e1dd1507SRichard Henderson         *ret_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
969df354dd4SMichael Clark         return TRANSLATE_SUCCESS;
970df354dd4SMichael Clark     default:
971df354dd4SMichael Clark       g_assert_not_reached();
972df354dd4SMichael Clark     }
973df354dd4SMichael Clark 
9743109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
97536a18664SAlistair Francis     int va_bits = PGSHIFT + levels * ptidxbits + widened;
976870589dcSTANG Tiancheng     int sxlen = 16 << riscv_cpu_sxl(env);
977870589dcSTANG Tiancheng     int sxlen_bytes = sxlen / 8;
9787bf14a2fSIrina Ryapolova 
9797bf14a2fSIrina Ryapolova     if (first_stage == true) {
98036a18664SAlistair Francis         target_ulong mask, masked_msbs;
98136a18664SAlistair Francis 
982870589dcSTANG Tiancheng         if (sxlen > (va_bits - 1)) {
983870589dcSTANG Tiancheng             mask = (1L << (sxlen - (va_bits - 1))) - 1;
98436a18664SAlistair Francis         } else {
98536a18664SAlistair Francis             mask = 0;
98636a18664SAlistair Francis         }
98736a18664SAlistair Francis         masked_msbs = (addr >> (va_bits - 1)) & mask;
98836a18664SAlistair Francis 
989df354dd4SMichael Clark         if (masked_msbs != 0 && masked_msbs != mask) {
990df354dd4SMichael Clark             return TRANSLATE_FAIL;
991df354dd4SMichael Clark         }
9927bf14a2fSIrina Ryapolova     } else {
9937bf14a2fSIrina Ryapolova         if (vm != VM_1_10_SV32 && addr >> va_bits != 0) {
9947bf14a2fSIrina Ryapolova             return TRANSLATE_FAIL;
9957bf14a2fSIrina Ryapolova         }
9967bf14a2fSIrina Ryapolova     }
997df354dd4SMichael Clark 
9988d6a00cdSRichard Henderson     bool pbmte = env->menvcfg & MENVCFG_PBMTE;
99970d22fd9SAndrew Jones     bool svade = riscv_cpu_cfg(env)->ext_svade;
100070d22fd9SAndrew Jones     bool svadu = riscv_cpu_cfg(env)->ext_svadu;
100170d22fd9SAndrew Jones     bool adue = svadu ? env->menvcfg & MENVCFG_ADUE : !svade;
10028d6a00cdSRichard Henderson 
10038d6a00cdSRichard Henderson     if (first_stage && two_stage && env->virt_enabled) {
10048d6a00cdSRichard Henderson         pbmte = pbmte && (env->henvcfg & HENVCFG_PBMTE);
1005ed67d637SWeiwei Li         adue = adue && (env->henvcfg & HENVCFG_ADUE);
10068d6a00cdSRichard Henderson     }
10078d6a00cdSRichard Henderson 
1008df354dd4SMichael Clark     int ptshift = (levels - 1) * ptidxbits;
100959688aa0SRichard Henderson     target_ulong pte;
101059688aa0SRichard Henderson     hwaddr pte_addr;
1011df354dd4SMichael Clark     int i;
1012df354dd4SMichael Clark 
1013df354dd4SMichael Clark #if !TCG_OVERSIZED_GUEST
1014df354dd4SMichael Clark restart:
1015df354dd4SMichael Clark #endif
1016df354dd4SMichael Clark     for (i = 0; i < levels; i++, ptshift -= ptidxbits) {
101736a18664SAlistair Francis         target_ulong idx;
101836a18664SAlistair Francis         if (i == 0) {
101936a18664SAlistair Francis             idx = (addr >> (PGSHIFT + ptshift)) &
102036a18664SAlistair Francis                            ((1 << (ptidxbits + widened)) - 1);
102136a18664SAlistair Francis         } else {
102236a18664SAlistair Francis             idx = (addr >> (PGSHIFT + ptshift)) &
1023df354dd4SMichael Clark                            ((1 << ptidxbits) - 1);
102436a18664SAlistair Francis         }
1025df354dd4SMichael Clark 
1026df354dd4SMichael Clark         /* check that physical address of PTE is legal */
102736a18664SAlistair Francis 
102836a18664SAlistair Francis         if (two_stage && first_stage) {
102938472890SAlistair Francis             int vbase_prot;
103036a18664SAlistair Francis             hwaddr vbase;
103136a18664SAlistair Francis 
103236a18664SAlistair Francis             /* Do the second stage translation on the base PTE address. */
103388914473SAlistair Francis             int vbase_ret = get_physical_address(env, &vbase, &vbase_prot,
103433a9a57dSYifei Jiang                                                  base, NULL, MMU_DATA_LOAD,
1035a427c836SRichard Henderson                                                  MMUIdx_U, false, true,
1036669b4867SDeepak Gupta                                                  is_debug, false);
103736a18664SAlistair Francis 
103888914473SAlistair Francis             if (vbase_ret != TRANSLATE_SUCCESS) {
103933a9a57dSYifei Jiang                 if (fault_pte_addr) {
104033a9a57dSYifei Jiang                     *fault_pte_addr = (base + idx * ptesize) >> 2;
104133a9a57dSYifei Jiang                 }
104233a9a57dSYifei Jiang                 return TRANSLATE_G_STAGE_FAIL;
104388914473SAlistair Francis             }
104488914473SAlistair Francis 
104536a18664SAlistair Francis             pte_addr = vbase + idx * ptesize;
104636a18664SAlistair Francis         } else {
104736a18664SAlistair Francis             pte_addr = base + idx * ptesize;
104836a18664SAlistair Francis         }
10491f447aecSHesham Almatary 
1050b297129aSJim Shu         int pmp_prot;
1051bfc7ee12SWeiwei Li         int pmp_ret = get_physical_address_pmp(env, &pmp_prot, pte_addr,
1052870589dcSTANG Tiancheng                                                sxlen_bytes,
1053b297129aSJim Shu                                                MMU_DATA_LOAD, PRV_S);
1054b297129aSJim Shu         if (pmp_ret != TRANSLATE_SUCCESS) {
10551f447aecSHesham Almatary             return TRANSLATE_PMP_FAIL;
10561f447aecSHesham Almatary         }
1057aacb578fSPalmer Dabbelt 
1058db23e5d9SRichard Henderson         if (riscv_cpu_mxl(env) == MXL_RV32) {
1059f08c7ff3SAlistair Francis             pte = address_space_ldl(cs->as, pte_addr, attrs, &res);
1060f08c7ff3SAlistair Francis         } else {
1061f08c7ff3SAlistair Francis             pte = address_space_ldq(cs->as, pte_addr, attrs, &res);
1062f08c7ff3SAlistair Francis         }
1063f08c7ff3SAlistair Francis 
1064aacb578fSPalmer Dabbelt         if (res != MEMTX_OK) {
1065aacb578fSPalmer Dabbelt             return TRANSLATE_FAIL;
1066aacb578fSPalmer Dabbelt         }
1067aacb578fSPalmer Dabbelt 
106805e6ca5eSGuo Ren         if (riscv_cpu_sxl(env) == MXL_RV32) {
106905e6ca5eSGuo Ren             ppn = pte >> PTE_PPN_SHIFT;
107005e6ca5eSGuo Ren         } else {
1071190e9f8eSAlexandre Ghiti             if (pte & PTE_RESERVED) {
107205e6ca5eSGuo Ren                 return TRANSLATE_FAIL;
107305e6ca5eSGuo Ren             }
1074190e9f8eSAlexandre Ghiti 
1075190e9f8eSAlexandre Ghiti             if (!pbmte && (pte & PTE_PBMT)) {
1076190e9f8eSAlexandre Ghiti                 return TRANSLATE_FAIL;
1077190e9f8eSAlexandre Ghiti             }
1078190e9f8eSAlexandre Ghiti 
1079190e9f8eSAlexandre Ghiti             if (!riscv_cpu_cfg(env)->ext_svnapot && (pte & PTE_N)) {
1080190e9f8eSAlexandre Ghiti                 return TRANSLATE_FAIL;
1081190e9f8eSAlexandre Ghiti             }
1082190e9f8eSAlexandre Ghiti 
1083190e9f8eSAlexandre Ghiti             ppn = (pte & (target_ulong)PTE_PPN_MASK) >> PTE_PPN_SHIFT;
108405e6ca5eSGuo Ren         }
1085df354dd4SMichael Clark 
1086df354dd4SMichael Clark         if (!(pte & PTE_V)) {
1087df354dd4SMichael Clark             /* Invalid PTE */
1088df354dd4SMichael Clark             return TRANSLATE_FAIL;
108959688aa0SRichard Henderson         }
109059688aa0SRichard Henderson         if (pte & (PTE_R | PTE_W | PTE_X)) {
109159688aa0SRichard Henderson             goto leaf;
109259688aa0SRichard Henderson         }
109359688aa0SRichard Henderson 
1094df354dd4SMichael Clark         /* Inner PTE, continue walking */
1095bbce8ba8SWeiwei Li         if (pte & (PTE_D | PTE_A | PTE_U | PTE_ATTR)) {
1096b6ecc63cSWeiwei Li             return TRANSLATE_FAIL;
1097b6ecc63cSWeiwei Li         }
1098df354dd4SMichael Clark         base = ppn << PGSHIFT;
109959688aa0SRichard Henderson     }
110059688aa0SRichard Henderson 
110159688aa0SRichard Henderson     /* No leaf pte at any translation level. */
1102df354dd4SMichael Clark     return TRANSLATE_FAIL;
110359688aa0SRichard Henderson 
110459688aa0SRichard Henderson  leaf:
110559688aa0SRichard Henderson     if (ppn & ((1ULL << ptshift) - 1)) {
1106df354dd4SMichael Clark         /* Misaligned PPN */
1107df354dd4SMichael Clark         return TRANSLATE_FAIL;
110859688aa0SRichard Henderson     }
110959688aa0SRichard Henderson     if (!pbmte && (pte & PTE_PBMT)) {
111059688aa0SRichard Henderson         /* Reserved without Svpbmt. */
111159688aa0SRichard Henderson         return TRANSLATE_FAIL;
111259688aa0SRichard Henderson     }
1113a9d2e3edSRichard Henderson 
1114669b4867SDeepak Gupta     target_ulong rwx = pte & (PTE_R | PTE_W | PTE_X);
1115a9d2e3edSRichard Henderson     /* Check for reserved combinations of RWX flags. */
1116669b4867SDeepak Gupta     switch (rwx) {
1117a9d2e3edSRichard Henderson     case PTE_W | PTE_X:
111859688aa0SRichard Henderson         return TRANSLATE_FAIL;
1119669b4867SDeepak Gupta     case PTE_W:
1120669b4867SDeepak Gupta         /* if bcfi enabled, PTE_W is not reserved and shadow stack page */
1121669b4867SDeepak Gupta         if (cpu_get_bcfien(env) && first_stage) {
1122669b4867SDeepak Gupta             sstack_page = true;
1123669b4867SDeepak Gupta             /*
1124669b4867SDeepak Gupta              * if ss index, read and write allowed. else if not a probe
1125669b4867SDeepak Gupta              * then only read allowed
1126669b4867SDeepak Gupta              */
1127669b4867SDeepak Gupta             rwx = is_sstack_idx ? (PTE_R | PTE_W) : (is_probe ? 0 :  PTE_R);
1128669b4867SDeepak Gupta             break;
1129669b4867SDeepak Gupta         }
1130669b4867SDeepak Gupta         return TRANSLATE_FAIL;
1131669b4867SDeepak Gupta     case PTE_R:
1132669b4867SDeepak Gupta         /*
1133669b4867SDeepak Gupta          * no matter what's the `access_type`, shadow stack access to readonly
1134669b4867SDeepak Gupta          * memory are always store page faults. During unwind, loads will be
1135669b4867SDeepak Gupta          * promoted as store fault.
1136669b4867SDeepak Gupta          */
1137669b4867SDeepak Gupta         if (is_sstack_idx) {
1138669b4867SDeepak Gupta             return TRANSLATE_FAIL;
1139669b4867SDeepak Gupta         }
1140669b4867SDeepak Gupta         break;
114159688aa0SRichard Henderson     }
1142a9d2e3edSRichard Henderson 
1143e1dd1507SRichard Henderson     int prot = 0;
1144669b4867SDeepak Gupta     if (rwx & PTE_R) {
1145e1dd1507SRichard Henderson         prot |= PAGE_READ;
1146e1dd1507SRichard Henderson     }
1147669b4867SDeepak Gupta     if (rwx & PTE_W) {
1148e1dd1507SRichard Henderson         prot |= PAGE_WRITE;
1149e1dd1507SRichard Henderson     }
1150669b4867SDeepak Gupta     if (rwx & PTE_X) {
11516bca4d7dSIvan Klokov         bool mxr = false;
1152e1dd1507SRichard Henderson 
11536bca4d7dSIvan Klokov         /*
11546bca4d7dSIvan Klokov          * Use mstatus for first stage or for the second stage without
11556bca4d7dSIvan Klokov          * virt_enabled (MPRV+MPV)
11566bca4d7dSIvan Klokov          */
11576bca4d7dSIvan Klokov         if (first_stage || !env->virt_enabled) {
1158e1dd1507SRichard Henderson             mxr = get_field(env->mstatus, MSTATUS_MXR);
1159e1dd1507SRichard Henderson         }
11606bca4d7dSIvan Klokov 
11616bca4d7dSIvan Klokov         /* MPRV+MPV case, check VSSTATUS */
11626bca4d7dSIvan Klokov         if (first_stage && two_stage && !env->virt_enabled) {
11636bca4d7dSIvan Klokov             mxr |= get_field(env->vsstatus, MSTATUS_MXR);
11646bca4d7dSIvan Klokov         }
11656bca4d7dSIvan Klokov 
11666bca4d7dSIvan Klokov         /*
11676bca4d7dSIvan Klokov          * Setting MXR at HS-level overrides both VS-stage and G-stage
11686bca4d7dSIvan Klokov          * execute-only permissions
11696bca4d7dSIvan Klokov          */
11706bca4d7dSIvan Klokov         if (env->virt_enabled) {
11716bca4d7dSIvan Klokov             mxr |= get_field(env->mstatus_hs, MSTATUS_MXR);
11726bca4d7dSIvan Klokov         }
11736bca4d7dSIvan Klokov 
1174e1dd1507SRichard Henderson         if (mxr) {
1175e1dd1507SRichard Henderson             prot |= PAGE_READ;
1176e1dd1507SRichard Henderson         }
1177e1dd1507SRichard Henderson         prot |= PAGE_EXEC;
1178e1dd1507SRichard Henderson     }
1179e1dd1507SRichard Henderson 
118038303e8aSRichard Henderson     if (pte & PTE_U) {
118138303e8aSRichard Henderson         if (mode != PRV_U) {
118238303e8aSRichard Henderson             if (!mmuidx_sum(mmu_idx)) {
118359688aa0SRichard Henderson                 return TRANSLATE_FAIL;
118459688aa0SRichard Henderson             }
118538303e8aSRichard Henderson             /* SUM allows only read+write, not execute. */
118638303e8aSRichard Henderson             prot &= PAGE_READ | PAGE_WRITE;
118738303e8aSRichard Henderson         }
118838303e8aSRichard Henderson     } else if (mode != PRV_S) {
118959688aa0SRichard Henderson         /* Supervisor PTE flags when not S mode */
119059688aa0SRichard Henderson         return TRANSLATE_FAIL;
119159688aa0SRichard Henderson     }
1192e1dd1507SRichard Henderson 
1193e1dd1507SRichard Henderson     if (!((prot >> access_type) & 1)) {
1194669b4867SDeepak Gupta         /*
1195669b4867SDeepak Gupta          * Access check failed, access check failures for shadow stack are
1196669b4867SDeepak Gupta          * access faults.
1197669b4867SDeepak Gupta          */
1198669b4867SDeepak Gupta         return sstack_page ? TRANSLATE_PMP_FAIL : TRANSLATE_FAIL;
119959688aa0SRichard Henderson     }
120059688aa0SRichard Henderson 
120170d22fd9SAndrew Jones     target_ulong updated_pte = pte;
120270d22fd9SAndrew Jones 
120370d22fd9SAndrew Jones     /*
120470d22fd9SAndrew Jones      * If ADUE is enabled, set accessed and dirty bits.
120570d22fd9SAndrew Jones      * Otherwise raise an exception if necessary.
120670d22fd9SAndrew Jones      */
120770d22fd9SAndrew Jones     if (adue) {
120870d22fd9SAndrew Jones         updated_pte |= PTE_A | (access_type == MMU_DATA_STORE ? PTE_D : 0);
120970d22fd9SAndrew Jones     } else if (!(pte & PTE_A) ||
121070d22fd9SAndrew Jones                (access_type == MMU_DATA_STORE && !(pte & PTE_D))) {
121170d22fd9SAndrew Jones         return TRANSLATE_FAIL;
121270d22fd9SAndrew Jones     }
1213df354dd4SMichael Clark 
1214df354dd4SMichael Clark     /* Page table updates need to be atomic with MTTCG enabled */
12150a19bf5eSRichard Henderson     if (updated_pte != pte && !is_debug) {
1216ed67d637SWeiwei Li         if (!adue) {
12170af3f115SWeiwei Li             return TRANSLATE_FAIL;
12180af3f115SWeiwei Li         }
12190af3f115SWeiwei Li 
1220df354dd4SMichael Clark         /*
1221df354dd4SMichael Clark          * - if accessed or dirty bits need updating, and the PTE is
1222df354dd4SMichael Clark          *   in RAM, then we do so atomically with a compare and swap.
1223df354dd4SMichael Clark          * - if the PTE is in IO space or ROM, then it can't be updated
1224df354dd4SMichael Clark          *   and we return TRANSLATE_FAIL.
1225df354dd4SMichael Clark          * - if the PTE changed by the time we went to update it, then
1226df354dd4SMichael Clark          *   it is no longer valid and we must re-walk the page table.
1227df354dd4SMichael Clark          */
1228df354dd4SMichael Clark         MemoryRegion *mr;
1229870589dcSTANG Tiancheng         hwaddr l = sxlen_bytes, addr1;
1230c45eff30SWeiwei Li         mr = address_space_translate(cs->as, pte_addr, &addr1, &l,
1231c45eff30SWeiwei Li                                      false, MEMTXATTRS_UNSPECIFIED);
1232df354dd4SMichael Clark         if (memory_region_is_ram(mr)) {
123359688aa0SRichard Henderson             target_ulong *pte_pa = qemu_map_ram_ptr(mr->ram_block, addr1);
1234df354dd4SMichael Clark #if TCG_OVERSIZED_GUEST
12353b57254dSWeiwei Li             /*
12363b57254dSWeiwei Li              * MTTCG is not enabled on oversized TCG guests so
12373b57254dSWeiwei Li              * page table updates do not need to be atomic
12383b57254dSWeiwei Li              */
1239df354dd4SMichael Clark             *pte_pa = pte = updated_pte;
1240df354dd4SMichael Clark #else
1241870589dcSTANG Tiancheng             target_ulong old_pte;
1242870589dcSTANG Tiancheng             if (riscv_cpu_sxl(env) == MXL_RV32) {
1243870589dcSTANG Tiancheng                 old_pte = qatomic_cmpxchg((uint32_t *)pte_pa, pte, updated_pte);
1244870589dcSTANG Tiancheng             } else {
1245870589dcSTANG Tiancheng                 old_pte = qatomic_cmpxchg(pte_pa, pte, updated_pte);
1246870589dcSTANG Tiancheng             }
1247df354dd4SMichael Clark             if (old_pte != pte) {
1248df354dd4SMichael Clark                 goto restart;
1249df354dd4SMichael Clark             }
125059688aa0SRichard Henderson             pte = updated_pte;
1251df354dd4SMichael Clark #endif
1252df354dd4SMichael Clark         } else {
12533b57254dSWeiwei Li             /*
125459688aa0SRichard Henderson              * Misconfigured PTE in ROM (AD bits are not preset) or
125559688aa0SRichard Henderson              * PTE is in IO space and can't be updated atomically.
12563b57254dSWeiwei Li              */
1257df354dd4SMichael Clark             return TRANSLATE_FAIL;
1258df354dd4SMichael Clark         }
1259df354dd4SMichael Clark     }
1260df354dd4SMichael Clark 
126159688aa0SRichard Henderson     /* For superpage mappings, make a fake leaf PTE for the TLB's benefit. */
1262df354dd4SMichael Clark     target_ulong vpn = addr >> PGSHIFT;
12632bacb224SWeiwei Li 
12649c33e08bSWeiwei Li     if (riscv_cpu_cfg(env)->ext_svnapot && (pte & PTE_N)) {
12652bacb224SWeiwei Li         napot_bits = ctzl(ppn) + 1;
12662bacb224SWeiwei Li         if ((i != (levels - 1)) || (napot_bits != 4)) {
12672bacb224SWeiwei Li             return TRANSLATE_FAIL;
12682bacb224SWeiwei Li         }
12692bacb224SWeiwei Li     }
12702bacb224SWeiwei Li 
12712bacb224SWeiwei Li     napot_mask = (1 << napot_bits) - 1;
12722bacb224SWeiwei Li     *physical = (((ppn & ~napot_mask) | (vpn & napot_mask) |
12732bacb224SWeiwei Li                   (vpn & (((target_ulong)1 << ptshift) - 1))
12742bacb224SWeiwei Li                  ) << PGSHIFT) | (addr & ~TARGET_PAGE_MASK);
1275df354dd4SMichael Clark 
12763b57254dSWeiwei Li     /*
1277e1dd1507SRichard Henderson      * Remove write permission unless this is a store, or the page is
1278e1dd1507SRichard Henderson      * already dirty, so that we TLB miss on later writes to update
1279e1dd1507SRichard Henderson      * the dirty bit.
12803b57254dSWeiwei Li      */
1281e1dd1507SRichard Henderson     if (access_type != MMU_DATA_STORE && !(pte & PTE_D)) {
1282e1dd1507SRichard Henderson         prot &= ~PAGE_WRITE;
1283df354dd4SMichael Clark     }
1284e1dd1507SRichard Henderson     *ret_prot = prot;
1285e1dd1507SRichard Henderson 
1286df354dd4SMichael Clark     return TRANSLATE_SUCCESS;
1287df354dd4SMichael Clark }
raise_mmu_exception(CPURISCVState * env,target_ulong address,MMUAccessType access_type,bool pmp_violation,bool first_stage,bool two_stage,bool two_stage_indirect)1288df354dd4SMichael Clark 
1289df354dd4SMichael Clark static void raise_mmu_exception(CPURISCVState *env, target_ulong address,
12901448689cSAlistair Francis                                 MMUAccessType access_type, bool pmp_violation,
12918e2aa21bSAnup Patel                                 bool first_stage, bool two_stage,
12928e2aa21bSAnup Patel                                 bool two_stage_indirect)
1293df354dd4SMichael Clark {
12943109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
1295994b6bb2SAlistair Francis 
1296df354dd4SMichael Clark     switch (access_type) {
1297df354dd4SMichael Clark     case MMU_INST_FETCH:
129868e7c869SDaniel Henrique Barboza         if (pmp_violation) {
129968e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_INST_ACCESS_FAULT;
130068e7c869SDaniel Henrique Barboza         } else if (env->virt_enabled && !first_stage) {
1301b2ef6ab9SAlistair Francis             cs->exception_index = RISCV_EXCP_INST_GUEST_PAGE_FAULT;
1302b2ef6ab9SAlistair Francis         } else {
130368e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_INST_PAGE_FAULT;
1304b2ef6ab9SAlistair Francis         }
1305df354dd4SMichael Clark         break;
1306df354dd4SMichael Clark     case MMU_DATA_LOAD:
130768e7c869SDaniel Henrique Barboza         if (pmp_violation) {
130868e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_LOAD_ACCESS_FAULT;
130968e7c869SDaniel Henrique Barboza         } else if (two_stage && !first_stage) {
1310b2ef6ab9SAlistair Francis             cs->exception_index = RISCV_EXCP_LOAD_GUEST_ACCESS_FAULT;
1311b2ef6ab9SAlistair Francis         } else {
131268e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_LOAD_PAGE_FAULT;
1313b2ef6ab9SAlistair Francis         }
1314df354dd4SMichael Clark         break;
1315df354dd4SMichael Clark     case MMU_DATA_STORE:
131668e7c869SDaniel Henrique Barboza         if (pmp_violation) {
131768e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_STORE_AMO_ACCESS_FAULT;
131868e7c869SDaniel Henrique Barboza         } else if (two_stage && !first_stage) {
1319b2ef6ab9SAlistair Francis             cs->exception_index = RISCV_EXCP_STORE_GUEST_AMO_ACCESS_FAULT;
1320b2ef6ab9SAlistair Francis         } else {
132168e7c869SDaniel Henrique Barboza             cs->exception_index = RISCV_EXCP_STORE_PAGE_FAULT;
1322b2ef6ab9SAlistair Francis         }
1323df354dd4SMichael Clark         break;
1324df354dd4SMichael Clark     default:
1325df354dd4SMichael Clark         g_assert_not_reached();
1326df354dd4SMichael Clark     }
1327df354dd4SMichael Clark     env->badaddr = address;
1328ec352d0cSGeorg Kotheimer     env->two_stage_lookup = two_stage;
13298e2aa21bSAnup Patel     env->two_stage_indirect_lookup = two_stage_indirect;
1330df354dd4SMichael Clark }
riscv_cpu_get_phys_page_debug(CPUState * cs,vaddr addr)1331df354dd4SMichael Clark 
1332df354dd4SMichael Clark hwaddr riscv_cpu_get_phys_page_debug(CPUState *cs, vaddr addr)
1333df354dd4SMichael Clark {
1334df354dd4SMichael Clark     RISCVCPU *cpu = RISCV_CPU(cs);
133536a18664SAlistair Francis     CPURISCVState *env = &cpu->env;
1336df354dd4SMichael Clark     hwaddr phys_addr;
1337df354dd4SMichael Clark     int prot;
1338d9996d09SRichard Henderson     int mmu_idx = riscv_env_mmu_index(&cpu->env, false);
1339df354dd4SMichael Clark 
134033a9a57dSYifei Jiang     if (get_physical_address(env, &phys_addr, &prot, addr, NULL, 0, mmu_idx,
1341669b4867SDeepak Gupta                              true, env->virt_enabled, true, false)) {
1342df354dd4SMichael Clark         return -1;
1343df354dd4SMichael Clark     }
134436a18664SAlistair Francis 
134538256529SWeiwei Li     if (env->virt_enabled) {
134633a9a57dSYifei Jiang         if (get_physical_address(env, &phys_addr, &prot, phys_addr, NULL,
1347669b4867SDeepak Gupta                                  0, MMUIdx_U, false, true, true, false)) {
134836a18664SAlistair Francis             return -1;
134936a18664SAlistair Francis         }
135036a18664SAlistair Francis     }
135136a18664SAlistair Francis 
13529ef82119SZong Li     return phys_addr & TARGET_PAGE_MASK;
1353df354dd4SMichael Clark }
riscv_cpu_do_transaction_failed(CPUState * cs,hwaddr physaddr,vaddr addr,unsigned size,MMUAccessType access_type,int mmu_idx,MemTxAttrs attrs,MemTxResult response,uintptr_t retaddr)1354df354dd4SMichael Clark 
135537207e12SPalmer Dabbelt void riscv_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr,
135637207e12SPalmer Dabbelt                                      vaddr addr, unsigned size,
135737207e12SPalmer Dabbelt                                      MMUAccessType access_type,
135837207e12SPalmer Dabbelt                                      int mmu_idx, MemTxAttrs attrs,
135937207e12SPalmer Dabbelt                                      MemTxResult response, uintptr_t retaddr)
1360cbf58276SMichael Clark {
1361cbf58276SMichael Clark     RISCVCPU *cpu = RISCV_CPU(cs);
1362cbf58276SMichael Clark     CPURISCVState *env = &cpu->env;
1363cbf58276SMichael Clark 
136437207e12SPalmer Dabbelt     if (access_type == MMU_DATA_STORE) {
1365cbf58276SMichael Clark         cs->exception_index = RISCV_EXCP_STORE_AMO_ACCESS_FAULT;
1366f9e580c1SEmmanuel Blot     } else if (access_type == MMU_DATA_LOAD) {
1367cbf58276SMichael Clark         cs->exception_index = RISCV_EXCP_LOAD_ACCESS_FAULT;
1368f9e580c1SEmmanuel Blot     } else {
1369f9e580c1SEmmanuel Blot         cs->exception_index = RISCV_EXCP_INST_ACCESS_FAULT;
1370cbf58276SMichael Clark     }
1371cbf58276SMichael Clark 
1372cbf58276SMichael Clark     env->badaddr = addr;
1373696bacdeSRichard Henderson     env->two_stage_lookup = mmuidx_2stage(mmu_idx);
13748e2aa21bSAnup Patel     env->two_stage_indirect_lookup = false;
1375ac684717SRichard Henderson     cpu_loop_exit_restore(cs, retaddr);
1376cbf58276SMichael Clark }
riscv_cpu_do_unaligned_access(CPUState * cs,vaddr addr,MMUAccessType access_type,int mmu_idx,uintptr_t retaddr)1377cbf58276SMichael Clark 
1378df354dd4SMichael Clark void riscv_cpu_do_unaligned_access(CPUState *cs, vaddr addr,
1379df354dd4SMichael Clark                                    MMUAccessType access_type, int mmu_idx,
1380df354dd4SMichael Clark                                    uintptr_t retaddr)
1381df354dd4SMichael Clark {
1382df354dd4SMichael Clark     RISCVCPU *cpu = RISCV_CPU(cs);
1383df354dd4SMichael Clark     CPURISCVState *env = &cpu->env;
1384df354dd4SMichael Clark     switch (access_type) {
1385df354dd4SMichael Clark     case MMU_INST_FETCH:
1386df354dd4SMichael Clark         cs->exception_index = RISCV_EXCP_INST_ADDR_MIS;
1387df354dd4SMichael Clark         break;
1388df354dd4SMichael Clark     case MMU_DATA_LOAD:
1389df354dd4SMichael Clark         cs->exception_index = RISCV_EXCP_LOAD_ADDR_MIS;
1390669b4867SDeepak Gupta         /* shadow stack mis aligned accesses are access faults */
1391669b4867SDeepak Gupta         if (mmu_idx & MMU_IDX_SS_WRITE) {
1392669b4867SDeepak Gupta             cs->exception_index = RISCV_EXCP_LOAD_ACCESS_FAULT;
1393669b4867SDeepak Gupta         }
1394df354dd4SMichael Clark         break;
1395df354dd4SMichael Clark     case MMU_DATA_STORE:
1396df354dd4SMichael Clark         cs->exception_index = RISCV_EXCP_STORE_AMO_ADDR_MIS;
1397669b4867SDeepak Gupta         /* shadow stack mis aligned accesses are access faults */
1398669b4867SDeepak Gupta         if (mmu_idx & MMU_IDX_SS_WRITE) {
1399669b4867SDeepak Gupta             cs->exception_index = RISCV_EXCP_STORE_AMO_ACCESS_FAULT;
1400669b4867SDeepak Gupta         }
1401df354dd4SMichael Clark         break;
1402df354dd4SMichael Clark     default:
1403df354dd4SMichael Clark         g_assert_not_reached();
1404df354dd4SMichael Clark     }
1405df354dd4SMichael Clark     env->badaddr = addr;
1406696bacdeSRichard Henderson     env->two_stage_lookup = mmuidx_2stage(mmu_idx);
14078e2aa21bSAnup Patel     env->two_stage_indirect_lookup = false;
1408ac684717SRichard Henderson     cpu_loop_exit_restore(cs, retaddr);
1409df354dd4SMichael Clark }
1410df354dd4SMichael Clark 
pmu_tlb_fill_incr_ctr(RISCVCPU * cpu,MMUAccessType access_type)1411892320faSAtish Patra 
1412892320faSAtish Patra static void pmu_tlb_fill_incr_ctr(RISCVCPU *cpu, MMUAccessType access_type)
1413892320faSAtish Patra {
1414892320faSAtish Patra     enum riscv_pmu_event_idx pmu_event_type;
1415892320faSAtish Patra 
1416892320faSAtish Patra     switch (access_type) {
1417892320faSAtish Patra     case MMU_INST_FETCH:
1418892320faSAtish Patra         pmu_event_type = RISCV_PMU_EVENT_CACHE_ITLB_PREFETCH_MISS;
1419892320faSAtish Patra         break;
1420892320faSAtish Patra     case MMU_DATA_LOAD:
1421892320faSAtish Patra         pmu_event_type = RISCV_PMU_EVENT_CACHE_DTLB_READ_MISS;
1422892320faSAtish Patra         break;
1423892320faSAtish Patra     case MMU_DATA_STORE:
1424892320faSAtish Patra         pmu_event_type = RISCV_PMU_EVENT_CACHE_DTLB_WRITE_MISS;
1425892320faSAtish Patra         break;
1426892320faSAtish Patra     default:
1427892320faSAtish Patra         return;
1428892320faSAtish Patra     }
1429892320faSAtish Patra 
1430892320faSAtish Patra     riscv_pmu_incr_ctr(cpu, pmu_event_type);
1431892320faSAtish Patra }
riscv_cpu_tlb_fill(CPUState * cs,vaddr address,int size,MMUAccessType access_type,int mmu_idx,bool probe,uintptr_t retaddr)1432892320faSAtish Patra 
14338a4ca3c1SRichard Henderson bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size,
14348a4ca3c1SRichard Henderson                         MMUAccessType access_type, int mmu_idx,
14358a4ca3c1SRichard Henderson                         bool probe, uintptr_t retaddr)
1436df354dd4SMichael Clark {
1437df354dd4SMichael Clark     RISCVCPU *cpu = RISCV_CPU(cs);
1438df354dd4SMichael Clark     CPURISCVState *env = &cpu->env;
143936a18664SAlistair Francis     vaddr im_address;
1440df354dd4SMichael Clark     hwaddr pa = 0;
1441b297129aSJim Shu     int prot, prot2, prot_pmp;
1442635b0b0eSHesham Almatary     bool pmp_violation = false;
144336a18664SAlistair Francis     bool first_stage_error = true;
1444696bacdeSRichard Henderson     bool two_stage_lookup = mmuidx_2stage(mmu_idx);
14458e2aa21bSAnup Patel     bool two_stage_indirect_error = false;
1446df354dd4SMichael Clark     int ret = TRANSLATE_FAIL;
1447e06adebbSIrina Ryapolova     int mode = mmuidx_priv(mmu_idx);
1448b297129aSJim Shu     /* default TLB page size */
1449b2740281SAndrew Jones     hwaddr tlb_size = TARGET_PAGE_SIZE;
1450df354dd4SMichael Clark 
145136a18664SAlistair Francis     env->guest_phys_fault_addr = 0;
145236a18664SAlistair Francis 
14538a4ca3c1SRichard Henderson     qemu_log_mask(CPU_LOG_MMU, "%s ad %" VADDR_PRIx " rw %d mmu_idx %d\n",
14548a4ca3c1SRichard Henderson                   __func__, address, access_type, mmu_idx);
1455df354dd4SMichael Clark 
1456eacd03cbSJim Shu     pmu_tlb_fill_incr_ctr(cpu, access_type);
1457696bacdeSRichard Henderson     if (two_stage_lookup) {
145836a18664SAlistair Francis         /* Two stage lookup */
145933a9a57dSYifei Jiang         ret = get_physical_address(env, &pa, &prot, address,
146033a9a57dSYifei Jiang                                    &env->guest_phys_fault_addr, access_type,
1461669b4867SDeepak Gupta                                    mmu_idx, true, true, false, probe);
146236a18664SAlistair Francis 
146333a9a57dSYifei Jiang         /*
146433a9a57dSYifei Jiang          * A G-stage exception may be triggered during two state lookup.
146533a9a57dSYifei Jiang          * And the env->guest_phys_fault_addr has already been set in
146633a9a57dSYifei Jiang          * get_physical_address().
146733a9a57dSYifei Jiang          */
146833a9a57dSYifei Jiang         if (ret == TRANSLATE_G_STAGE_FAIL) {
146933a9a57dSYifei Jiang             first_stage_error = false;
14708e2aa21bSAnup Patel             two_stage_indirect_error = true;
147133a9a57dSYifei Jiang         }
147233a9a57dSYifei Jiang 
1473df354dd4SMichael Clark         qemu_log_mask(CPU_LOG_MMU,
147436a18664SAlistair Francis                       "%s 1st-stage address=%" VADDR_PRIx " ret %d physical "
1475883f2c59SPhilippe Mathieu-Daudé                       HWADDR_FMT_plx " prot %d\n",
147636a18664SAlistair Francis                       __func__, address, ret, pa, prot);
147736a18664SAlistair Francis 
147833a9a57dSYifei Jiang         if (ret == TRANSLATE_SUCCESS) {
147936a18664SAlistair Francis             /* Second stage lookup */
148036a18664SAlistair Francis             im_address = pa;
148136a18664SAlistair Francis 
148233a9a57dSYifei Jiang             ret = get_physical_address(env, &pa, &prot2, im_address, NULL,
1483a427c836SRichard Henderson                                        access_type, MMUIdx_U, false, true,
1484669b4867SDeepak Gupta                                        false, probe);
148536a18664SAlistair Francis 
148636a18664SAlistair Francis             qemu_log_mask(CPU_LOG_MMU,
1487c45eff30SWeiwei Li                           "%s 2nd-stage address=%" VADDR_PRIx
1488c45eff30SWeiwei Li                           " ret %d physical "
1489883f2c59SPhilippe Mathieu-Daudé                           HWADDR_FMT_plx " prot %d\n",
14908f67cd6dSAlistair Francis                           __func__, im_address, ret, pa, prot2);
14918f67cd6dSAlistair Francis 
14928f67cd6dSAlistair Francis             prot &= prot2;
149336a18664SAlistair Francis 
1494b297129aSJim Shu             if (ret == TRANSLATE_SUCCESS) {
1495bfc7ee12SWeiwei Li                 ret = get_physical_address_pmp(env, &prot_pmp, pa,
1496b297129aSJim Shu                                                size, access_type, mode);
1497bfc7ee12SWeiwei Li                 tlb_size = pmp_get_tlb_size(env, pa);
1498663e1193SJim Shu 
1499663e1193SJim Shu                 qemu_log_mask(CPU_LOG_MMU,
1500883f2c59SPhilippe Mathieu-Daudé                               "%s PMP address=" HWADDR_FMT_plx " ret %d prot"
1501b2740281SAndrew Jones                               " %d tlb_size %" HWADDR_PRIu "\n",
1502663e1193SJim Shu                               __func__, pa, ret, prot_pmp, tlb_size);
1503663e1193SJim Shu 
1504b297129aSJim Shu                 prot &= prot_pmp;
15056c9a3442SAlexei Filippov             } else {
150636a18664SAlistair Francis                 /*
150736a18664SAlistair Francis                  * Guest physical address translation failed, this is a HS
150836a18664SAlistair Francis                  * level exception
150936a18664SAlistair Francis                  */
151036a18664SAlistair Francis                 first_stage_error = false;
15116c9a3442SAlexei Filippov                 if (ret != TRANSLATE_PMP_FAIL) {
151236a18664SAlistair Francis                     env->guest_phys_fault_addr = (im_address |
151336a18664SAlistair Francis                                                   (address &
151436a18664SAlistair Francis                                                    (TARGET_PAGE_SIZE - 1))) >> 2;
151536a18664SAlistair Francis                 }
151636a18664SAlistair Francis             }
15176c9a3442SAlexei Filippov         }
151836a18664SAlistair Francis     } else {
151936a18664SAlistair Francis         /* Single stage lookup */
152033a9a57dSYifei Jiang         ret = get_physical_address(env, &pa, &prot, address, NULL,
1521669b4867SDeepak Gupta                                    access_type, mmu_idx, true, false, false,
1522669b4867SDeepak Gupta                                    probe);
152336a18664SAlistair Francis 
152436a18664SAlistair Francis         qemu_log_mask(CPU_LOG_MMU,
152536a18664SAlistair Francis                       "%s address=%" VADDR_PRIx " ret %d physical "
1526883f2c59SPhilippe Mathieu-Daudé                       HWADDR_FMT_plx " prot %d\n",
152736a18664SAlistair Francis                       __func__, address, ret, pa, prot);
1528b297129aSJim Shu 
1529b297129aSJim Shu         if (ret == TRANSLATE_SUCCESS) {
1530bfc7ee12SWeiwei Li             ret = get_physical_address_pmp(env, &prot_pmp, pa,
1531b297129aSJim Shu                                            size, access_type, mode);
1532bfc7ee12SWeiwei Li             tlb_size = pmp_get_tlb_size(env, pa);
1533663e1193SJim Shu 
1534663e1193SJim Shu             qemu_log_mask(CPU_LOG_MMU,
1535883f2c59SPhilippe Mathieu-Daudé                           "%s PMP address=" HWADDR_FMT_plx " ret %d prot"
1536b2740281SAndrew Jones                           " %d tlb_size %" HWADDR_PRIu "\n",
1537663e1193SJim Shu                           __func__, pa, ret, prot_pmp, tlb_size);
1538663e1193SJim Shu 
1539b297129aSJim Shu             prot &= prot_pmp;
1540b297129aSJim Shu         }
154136a18664SAlistair Francis     }
15428a4ca3c1SRichard Henderson 
15431f447aecSHesham Almatary     if (ret == TRANSLATE_PMP_FAIL) {
1544635b0b0eSHesham Almatary         pmp_violation = true;
1545df354dd4SMichael Clark     }
154636a18664SAlistair Francis 
1547df354dd4SMichael Clark     if (ret == TRANSLATE_SUCCESS) {
1548af3fc195SZong Li         tlb_set_page(cs, address & ~(tlb_size - 1), pa & ~(tlb_size - 1),
1549af3fc195SZong Li                      prot, mmu_idx, tlb_size);
15508a4ca3c1SRichard Henderson         return true;
15518a4ca3c1SRichard Henderson     } else if (probe) {
15528a4ca3c1SRichard Henderson         return false;
15538a4ca3c1SRichard Henderson     } else {
1554*426beec9SDaniel Henrique Barboza         int wp_access = 0;
1555*426beec9SDaniel Henrique Barboza 
1556*426beec9SDaniel Henrique Barboza         if (access_type == MMU_DATA_LOAD) {
1557*426beec9SDaniel Henrique Barboza             wp_access |= BP_MEM_READ;
1558*426beec9SDaniel Henrique Barboza         } else if (access_type == MMU_DATA_STORE) {
1559*426beec9SDaniel Henrique Barboza             wp_access |= BP_MEM_WRITE;
1560*426beec9SDaniel Henrique Barboza         }
1561*426beec9SDaniel Henrique Barboza 
1562*426beec9SDaniel Henrique Barboza         /*
1563*426beec9SDaniel Henrique Barboza          * If a watchpoint isn't found for 'addr' this will
1564*426beec9SDaniel Henrique Barboza          * be a no-op and we'll resume the mmu_exception path.
1565*426beec9SDaniel Henrique Barboza          * Otherwise we'll throw a debug exception and execution
1566*426beec9SDaniel Henrique Barboza          * will continue elsewhere.
1567*426beec9SDaniel Henrique Barboza          */
1568*426beec9SDaniel Henrique Barboza         cpu_check_watchpoint(cs, address, size, MEMTXATTRS_UNSPECIFIED,
1569*426beec9SDaniel Henrique Barboza                              wp_access, retaddr);
1570*426beec9SDaniel Henrique Barboza 
15711c1c060aSAlistair Francis         raise_mmu_exception(env, address, access_type, pmp_violation,
1572696bacdeSRichard Henderson                             first_stage_error, two_stage_lookup,
15738e2aa21bSAnup Patel                             two_stage_indirect_error);
1574ac684717SRichard Henderson         cpu_loop_exit_restore(cs, retaddr);
1575df354dd4SMichael Clark     }
157636a18664SAlistair Francis 
157736a18664SAlistair Francis     return true;
1578df354dd4SMichael Clark }
15798e2aa21bSAnup Patel 
15808e2aa21bSAnup Patel static target_ulong riscv_transformed_insn(CPURISCVState *env,
15818e2aa21bSAnup Patel                                            target_ulong insn,
15828e2aa21bSAnup Patel                                            target_ulong taddr)
15838e2aa21bSAnup Patel {
15848e2aa21bSAnup Patel     target_ulong xinsn = 0;
15858e2aa21bSAnup Patel     target_ulong access_rs1 = 0, access_imm = 0, access_size = 0;
15868e2aa21bSAnup Patel 
15878e2aa21bSAnup Patel     /*
15888e2aa21bSAnup Patel      * Only Quadrant 0 and Quadrant 2 of RVC instruction space need to
15898e2aa21bSAnup Patel      * be uncompressed. The Quadrant 1 of RVC instruction space need
15908e2aa21bSAnup Patel      * not be transformed because these instructions won't generate
15918e2aa21bSAnup Patel      * any load/store trap.
15928e2aa21bSAnup Patel      */
15938e2aa21bSAnup Patel 
15948e2aa21bSAnup Patel     if ((insn & 0x3) != 0x3) {
15958e2aa21bSAnup Patel         /* Transform 16bit instruction into 32bit instruction */
15968e2aa21bSAnup Patel         switch (GET_C_OP(insn)) {
15978e2aa21bSAnup Patel         case OPC_RISC_C_OP_QUAD0: /* Quadrant 0 */
15988e2aa21bSAnup Patel             switch (GET_C_FUNC(insn)) {
15998e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FLD_LQ:
16008e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) != 128) { /* C.FLD (RV32/64) */
16018e2aa21bSAnup Patel                     xinsn = OPC_RISC_FLD;
16028e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RS2S(insn));
16038e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16048e2aa21bSAnup Patel                     access_imm = GET_C_LD_IMM(insn);
16058e2aa21bSAnup Patel                     access_size = 8;
16068e2aa21bSAnup Patel                 }
16078e2aa21bSAnup Patel                 break;
16088e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_LW: /* C.LW */
16098e2aa21bSAnup Patel                 xinsn = OPC_RISC_LW;
16108e2aa21bSAnup Patel                 xinsn = SET_RD(xinsn, GET_C_RS2S(insn));
16118e2aa21bSAnup Patel                 access_rs1 = GET_C_RS1S(insn);
16128e2aa21bSAnup Patel                 access_imm = GET_C_LW_IMM(insn);
16138e2aa21bSAnup Patel                 access_size = 4;
16148e2aa21bSAnup Patel                 break;
16158e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FLW_LD:
16168e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) == 32) { /* C.FLW (RV32) */
16178e2aa21bSAnup Patel                     xinsn = OPC_RISC_FLW;
16188e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RS2S(insn));
16198e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16208e2aa21bSAnup Patel                     access_imm = GET_C_LW_IMM(insn);
16218e2aa21bSAnup Patel                     access_size = 4;
16228e2aa21bSAnup Patel                 } else { /* C.LD (RV64/RV128) */
16238e2aa21bSAnup Patel                     xinsn = OPC_RISC_LD;
16248e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RS2S(insn));
16258e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16268e2aa21bSAnup Patel                     access_imm = GET_C_LD_IMM(insn);
16278e2aa21bSAnup Patel                     access_size = 8;
16288e2aa21bSAnup Patel                 }
16298e2aa21bSAnup Patel                 break;
16308e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FSD_SQ:
16318e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) != 128) { /* C.FSD (RV32/64) */
16328e2aa21bSAnup Patel                     xinsn = OPC_RISC_FSD;
16338e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2S(insn));
16348e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16358e2aa21bSAnup Patel                     access_imm = GET_C_SD_IMM(insn);
16368e2aa21bSAnup Patel                     access_size = 8;
16378e2aa21bSAnup Patel                 }
16388e2aa21bSAnup Patel                 break;
16398e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_SW: /* C.SW */
16408e2aa21bSAnup Patel                 xinsn = OPC_RISC_SW;
16418e2aa21bSAnup Patel                 xinsn = SET_RS2(xinsn, GET_C_RS2S(insn));
16428e2aa21bSAnup Patel                 access_rs1 = GET_C_RS1S(insn);
16438e2aa21bSAnup Patel                 access_imm = GET_C_SW_IMM(insn);
16448e2aa21bSAnup Patel                 access_size = 4;
16458e2aa21bSAnup Patel                 break;
16468e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FSW_SD:
16478e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) == 32) { /* C.FSW (RV32) */
16488e2aa21bSAnup Patel                     xinsn = OPC_RISC_FSW;
16498e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2S(insn));
16508e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16518e2aa21bSAnup Patel                     access_imm = GET_C_SW_IMM(insn);
16528e2aa21bSAnup Patel                     access_size = 4;
16538e2aa21bSAnup Patel                 } else { /* C.SD (RV64/RV128) */
16548e2aa21bSAnup Patel                     xinsn = OPC_RISC_SD;
16558e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2S(insn));
16568e2aa21bSAnup Patel                     access_rs1 = GET_C_RS1S(insn);
16578e2aa21bSAnup Patel                     access_imm = GET_C_SD_IMM(insn);
16588e2aa21bSAnup Patel                     access_size = 8;
16598e2aa21bSAnup Patel                 }
16608e2aa21bSAnup Patel                 break;
16618e2aa21bSAnup Patel             default:
16628e2aa21bSAnup Patel                 break;
16638e2aa21bSAnup Patel             }
16648e2aa21bSAnup Patel             break;
16658e2aa21bSAnup Patel         case OPC_RISC_C_OP_QUAD2: /* Quadrant 2 */
16668e2aa21bSAnup Patel             switch (GET_C_FUNC(insn)) {
16678e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FLDSP_LQSP:
16688e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) != 128) { /* C.FLDSP (RV32/64) */
16698e2aa21bSAnup Patel                     xinsn = OPC_RISC_FLD;
16708e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RD(insn));
16718e2aa21bSAnup Patel                     access_rs1 = 2;
16728e2aa21bSAnup Patel                     access_imm = GET_C_LDSP_IMM(insn);
16738e2aa21bSAnup Patel                     access_size = 8;
16748e2aa21bSAnup Patel                 }
16758e2aa21bSAnup Patel                 break;
16768e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_LWSP: /* C.LWSP */
16778e2aa21bSAnup Patel                 xinsn = OPC_RISC_LW;
16788e2aa21bSAnup Patel                 xinsn = SET_RD(xinsn, GET_C_RD(insn));
16798e2aa21bSAnup Patel                 access_rs1 = 2;
16808e2aa21bSAnup Patel                 access_imm = GET_C_LWSP_IMM(insn);
16818e2aa21bSAnup Patel                 access_size = 4;
16828e2aa21bSAnup Patel                 break;
16838e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FLWSP_LDSP:
16848e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) == 32) { /* C.FLWSP (RV32) */
16858e2aa21bSAnup Patel                     xinsn = OPC_RISC_FLW;
16868e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RD(insn));
16878e2aa21bSAnup Patel                     access_rs1 = 2;
16888e2aa21bSAnup Patel                     access_imm = GET_C_LWSP_IMM(insn);
16898e2aa21bSAnup Patel                     access_size = 4;
16908e2aa21bSAnup Patel                 } else { /* C.LDSP (RV64/RV128) */
16918e2aa21bSAnup Patel                     xinsn = OPC_RISC_LD;
16928e2aa21bSAnup Patel                     xinsn = SET_RD(xinsn, GET_C_RD(insn));
16938e2aa21bSAnup Patel                     access_rs1 = 2;
16948e2aa21bSAnup Patel                     access_imm = GET_C_LDSP_IMM(insn);
16958e2aa21bSAnup Patel                     access_size = 8;
16968e2aa21bSAnup Patel                 }
16978e2aa21bSAnup Patel                 break;
16988e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_FSDSP_SQSP:
16998e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) != 128) { /* C.FSDSP (RV32/64) */
17008e2aa21bSAnup Patel                     xinsn = OPC_RISC_FSD;
17018e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2(insn));
17028e2aa21bSAnup Patel                     access_rs1 = 2;
17038e2aa21bSAnup Patel                     access_imm = GET_C_SDSP_IMM(insn);
17048e2aa21bSAnup Patel                     access_size = 8;
17058e2aa21bSAnup Patel                 }
17068e2aa21bSAnup Patel                 break;
17078e2aa21bSAnup Patel             case OPC_RISC_C_FUNC_SWSP: /* C.SWSP */
17088e2aa21bSAnup Patel                 xinsn = OPC_RISC_SW;
17098e2aa21bSAnup Patel                 xinsn = SET_RS2(xinsn, GET_C_RS2(insn));
17108e2aa21bSAnup Patel                 access_rs1 = 2;
17118e2aa21bSAnup Patel                 access_imm = GET_C_SWSP_IMM(insn);
17128e2aa21bSAnup Patel                 access_size = 4;
17138e2aa21bSAnup Patel                 break;
17148e2aa21bSAnup Patel             case 7:
17158e2aa21bSAnup Patel                 if (riscv_cpu_xlen(env) == 32) { /* C.FSWSP (RV32) */
17168e2aa21bSAnup Patel                     xinsn = OPC_RISC_FSW;
17178e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2(insn));
17188e2aa21bSAnup Patel                     access_rs1 = 2;
17198e2aa21bSAnup Patel                     access_imm = GET_C_SWSP_IMM(insn);
17208e2aa21bSAnup Patel                     access_size = 4;
17218e2aa21bSAnup Patel                 } else { /* C.SDSP (RV64/RV128) */
17228e2aa21bSAnup Patel                     xinsn = OPC_RISC_SD;
17238e2aa21bSAnup Patel                     xinsn = SET_RS2(xinsn, GET_C_RS2(insn));
17248e2aa21bSAnup Patel                     access_rs1 = 2;
17258e2aa21bSAnup Patel                     access_imm = GET_C_SDSP_IMM(insn);
17268e2aa21bSAnup Patel                     access_size = 8;
17278e2aa21bSAnup Patel                 }
17288e2aa21bSAnup Patel                 break;
17298e2aa21bSAnup Patel             default:
17308e2aa21bSAnup Patel                 break;
17318e2aa21bSAnup Patel             }
17328e2aa21bSAnup Patel             break;
17338e2aa21bSAnup Patel         default:
17348e2aa21bSAnup Patel             break;
17358e2aa21bSAnup Patel         }
17368e2aa21bSAnup Patel 
17378e2aa21bSAnup Patel         /*
17388e2aa21bSAnup Patel          * Clear Bit1 of transformed instruction to indicate that
17398e2aa21bSAnup Patel          * original insruction was a 16bit instruction
17408e2aa21bSAnup Patel          */
17418e2aa21bSAnup Patel         xinsn &= ~((target_ulong)0x2);
17428e2aa21bSAnup Patel     } else {
17438e2aa21bSAnup Patel         /* Transform 32bit (or wider) instructions */
17448e2aa21bSAnup Patel         switch (MASK_OP_MAJOR(insn)) {
17458e2aa21bSAnup Patel         case OPC_RISC_ATOMIC:
17468e2aa21bSAnup Patel             xinsn = insn;
17478e2aa21bSAnup Patel             access_rs1 = GET_RS1(insn);
17488e2aa21bSAnup Patel             access_size = 1 << GET_FUNCT3(insn);
17498e2aa21bSAnup Patel             break;
17508e2aa21bSAnup Patel         case OPC_RISC_LOAD:
17518e2aa21bSAnup Patel         case OPC_RISC_FP_LOAD:
17528e2aa21bSAnup Patel             xinsn = SET_I_IMM(insn, 0);
17538e2aa21bSAnup Patel             access_rs1 = GET_RS1(insn);
17548e2aa21bSAnup Patel             access_imm = GET_IMM(insn);
17558e2aa21bSAnup Patel             access_size = 1 << GET_FUNCT3(insn);
17568e2aa21bSAnup Patel             break;
17578e2aa21bSAnup Patel         case OPC_RISC_STORE:
17588e2aa21bSAnup Patel         case OPC_RISC_FP_STORE:
17598e2aa21bSAnup Patel             xinsn = SET_S_IMM(insn, 0);
17608e2aa21bSAnup Patel             access_rs1 = GET_RS1(insn);
17618e2aa21bSAnup Patel             access_imm = GET_STORE_IMM(insn);
17628e2aa21bSAnup Patel             access_size = 1 << GET_FUNCT3(insn);
17638e2aa21bSAnup Patel             break;
17648e2aa21bSAnup Patel         case OPC_RISC_SYSTEM:
17658e2aa21bSAnup Patel             if (MASK_OP_SYSTEM(insn) == OPC_RISC_HLVHSV) {
17668e2aa21bSAnup Patel                 xinsn = insn;
promote_load_fault(target_ulong orig_cause)17678e2aa21bSAnup Patel                 access_rs1 = GET_RS1(insn);
17688e2aa21bSAnup Patel                 access_size = 1 << ((GET_FUNCT7(insn) >> 1) & 0x3);
17698e2aa21bSAnup Patel                 access_size = 1 << access_size;
17708e2aa21bSAnup Patel             }
17718e2aa21bSAnup Patel             break;
17728e2aa21bSAnup Patel         default:
17738e2aa21bSAnup Patel             break;
17748e2aa21bSAnup Patel         }
17758e2aa21bSAnup Patel     }
17768e2aa21bSAnup Patel 
17778e2aa21bSAnup Patel     if (access_size) {
17788e2aa21bSAnup Patel         xinsn = SET_RS1(xinsn, (taddr - (env->gpr[access_rs1] + access_imm)) &
17798e2aa21bSAnup Patel                                (access_size - 1));
17808e2aa21bSAnup Patel     }
17818e2aa21bSAnup Patel 
17828e2aa21bSAnup Patel     return xinsn;
17838e2aa21bSAnup Patel }
1784df354dd4SMichael Clark 
178598f21c30SDeepak Gupta static target_ulong promote_load_fault(target_ulong orig_cause)
178698f21c30SDeepak Gupta {
178798f21c30SDeepak Gupta     switch (orig_cause) {
178898f21c30SDeepak Gupta     case RISCV_EXCP_LOAD_GUEST_ACCESS_FAULT:
riscv_cpu_do_interrupt(CPUState * cs)178998f21c30SDeepak Gupta         return RISCV_EXCP_STORE_GUEST_AMO_ACCESS_FAULT;
179098f21c30SDeepak Gupta 
179198f21c30SDeepak Gupta     case RISCV_EXCP_LOAD_ACCESS_FAULT:
179298f21c30SDeepak Gupta         return RISCV_EXCP_STORE_AMO_ACCESS_FAULT;
179398f21c30SDeepak Gupta 
179498f21c30SDeepak Gupta     case RISCV_EXCP_LOAD_PAGE_FAULT:
179598f21c30SDeepak Gupta         return RISCV_EXCP_STORE_PAGE_FAULT;
179698f21c30SDeepak Gupta     }
179798f21c30SDeepak Gupta 
179898f21c30SDeepak Gupta     /* if no promotion, return original cause */
179998f21c30SDeepak Gupta     return orig_cause;
180098f21c30SDeepak Gupta }
1801df354dd4SMichael Clark /*
1802df354dd4SMichael Clark  * Handle Traps
1803df354dd4SMichael Clark  *
1804df354dd4SMichael Clark  * Adapted from Spike's processor_t::take_trap.
1805df354dd4SMichael Clark  *
1806df354dd4SMichael Clark  */
1807df354dd4SMichael Clark void riscv_cpu_do_interrupt(CPUState *cs)
1808df354dd4SMichael Clark {
1809df354dd4SMichael Clark     RISCVCPU *cpu = RISCV_CPU(cs);
1810df354dd4SMichael Clark     CPURISCVState *env = &cpu->env;
181168c05fb5SRajnesh Kanwal     bool virt = env->virt_enabled;
181286d0c457SAlistair Francis     bool write_gva = false;
181398f21c30SDeepak Gupta     bool always_storeamo = (env->excp_uw2 & RISCV_UW2_ALWAYS_STORE_AMO);
1814284d697cSYifei Jiang     uint64_t s;
1815df354dd4SMichael Clark 
18163b57254dSWeiwei Li     /*
18173b57254dSWeiwei Li      * cs->exception is 32-bits wide unlike mcause which is XLEN-bits wide
1818acbbb94eSMichael Clark      * so we mask off the MSB and separate into trap type and cause.
1819acbbb94eSMichael Clark      */
1820acbbb94eSMichael Clark     bool async = !!(cs->exception_index & RISCV_EXCP_INT_FLAG);
1821acbbb94eSMichael Clark     target_ulong cause = cs->exception_index & RISCV_EXCP_INT_MASK;
1822d028ac75SAnup Patel     uint64_t deleg = async ? env->mideleg : env->medeleg;
18235311599cSPeter Maydell     bool s_injected = env->mvip & (1ULL << cause) & env->mvien &&
18245311599cSPeter Maydell         !(env->mip & (1ULL << cause));
18255311599cSPeter Maydell     bool vs_injected = env->hvip & (1ULL << cause) & env->hvien &&
18265311599cSPeter Maydell         !(env->mip & (1ULL << cause));
1827acbbb94eSMichael Clark     target_ulong tval = 0;
18288e2aa21bSAnup Patel     target_ulong tinst = 0;
182930675539SAlistair Francis     target_ulong htval = 0;
183030675539SAlistair Francis     target_ulong mtval2 = 0;
183158597bfeSTANG Tiancheng     int sxlen = 0;
183258597bfeSTANG Tiancheng     int mxlen = 0;
1833acbbb94eSMichael Clark 
1834acbbb94eSMichael Clark     if (!async) {
1835acbbb94eSMichael Clark         /* set tval to badaddr for traps with address information */
1836acbbb94eSMichael Clark         switch (cause) {
1837177060d8SThomas Huth #ifdef CONFIG_TCG
1838d17bcae5SRajnesh Kanwal         case RISCV_EXCP_SEMIHOST:
1839d17bcae5SRajnesh Kanwal             do_common_semihosting(cs);
1840d17bcae5SRajnesh Kanwal             env->pc += 4;
1841d17bcae5SRajnesh Kanwal             return;
1842177060d8SThomas Huth #endif
1843ab67a1d0SAlistair Francis         case RISCV_EXCP_LOAD_GUEST_ACCESS_FAULT:
1844ab67a1d0SAlistair Francis         case RISCV_EXCP_STORE_GUEST_AMO_ACCESS_FAULT:
1845acbbb94eSMichael Clark         case RISCV_EXCP_LOAD_ADDR_MIS:
1846acbbb94eSMichael Clark         case RISCV_EXCP_STORE_AMO_ADDR_MIS:
1847acbbb94eSMichael Clark         case RISCV_EXCP_LOAD_ACCESS_FAULT:
1848acbbb94eSMichael Clark         case RISCV_EXCP_STORE_AMO_ACCESS_FAULT:
1849acbbb94eSMichael Clark         case RISCV_EXCP_LOAD_PAGE_FAULT:
1850acbbb94eSMichael Clark         case RISCV_EXCP_STORE_PAGE_FAULT:
185198f21c30SDeepak Gupta             if (always_storeamo) {
185298f21c30SDeepak Gupta                 cause = promote_load_fault(cause);
185398f21c30SDeepak Gupta             }
185424826da0SAnup Patel             write_gva = env->two_stage_lookup;
1855acbbb94eSMichael Clark             tval = env->badaddr;
18568e2aa21bSAnup Patel             if (env->two_stage_indirect_lookup) {
18578e2aa21bSAnup Patel                 /*
18588e2aa21bSAnup Patel                  * special pseudoinstruction for G-stage fault taken while
18598e2aa21bSAnup Patel                  * doing VS-stage page table walk.
18608e2aa21bSAnup Patel                  */
18618e2aa21bSAnup Patel                 tinst = (riscv_cpu_xlen(env) == 32) ? 0x00002000 : 0x00003000;
18628e2aa21bSAnup Patel             } else {
18638e2aa21bSAnup Patel                 /*
18648e2aa21bSAnup Patel                  * The "Addr. Offset" field in transformed instruction is
18658e2aa21bSAnup Patel                  * non-zero only for misaligned access.
18668e2aa21bSAnup Patel                  */
18678e2aa21bSAnup Patel                 tinst = riscv_transformed_insn(env, env->bins, tval);
18688e2aa21bSAnup Patel             }
18698e2aa21bSAnup Patel             break;
18708e2aa21bSAnup Patel         case RISCV_EXCP_INST_GUEST_PAGE_FAULT:
18718e2aa21bSAnup Patel         case RISCV_EXCP_INST_ADDR_MIS:
18728e2aa21bSAnup Patel         case RISCV_EXCP_INST_ACCESS_FAULT:
18738e2aa21bSAnup Patel         case RISCV_EXCP_INST_PAGE_FAULT:
18748e2aa21bSAnup Patel             write_gva = env->two_stage_lookup;
18758e2aa21bSAnup Patel             tval = env->badaddr;
18768e2aa21bSAnup Patel             if (env->two_stage_indirect_lookup) {
18778e2aa21bSAnup Patel                 /*
18788e2aa21bSAnup Patel                  * special pseudoinstruction for G-stage fault taken while
18798e2aa21bSAnup Patel                  * doing VS-stage page table walk.
18808e2aa21bSAnup Patel                  */
18818e2aa21bSAnup Patel                 tinst = (riscv_cpu_xlen(env) == 32) ? 0x00002000 : 0x00003000;
18828e2aa21bSAnup Patel             }
1883acbbb94eSMichael Clark             break;
188448eaeb56SAlistair Francis         case RISCV_EXCP_ILLEGAL_INST:
188562cf0245SAnup Patel         case RISCV_EXCP_VIRT_INSTRUCTION_FAULT:
188648eaeb56SAlistair Francis             tval = env->bins;
188748eaeb56SAlistair Francis             break;
188826934f9aSSergey Matyukevich         case RISCV_EXCP_BREAKPOINT:
18890099f605SDaniel Henrique Barboza             tval = env->badaddr;
189026934f9aSSergey Matyukevich             if (cs->watchpoint_hit) {
189126934f9aSSergey Matyukevich                 tval = cs->watchpoint_hit->hitaddr;
189226934f9aSSergey Matyukevich                 cs->watchpoint_hit = NULL;
189326934f9aSSergey Matyukevich             }
189426934f9aSSergey Matyukevich             break;
189560311024SDeepak Gupta         case RISCV_EXCP_SW_CHECK:
189660311024SDeepak Gupta             tval = env->sw_check_code;
189760311024SDeepak Gupta             break;
1898acbbb94eSMichael Clark         default:
1899acbbb94eSMichael Clark             break;
1900acbbb94eSMichael Clark         }
1901acbbb94eSMichael Clark         /* ecall is dispatched as one cause so translate based on mode */
1902acbbb94eSMichael Clark         if (cause == RISCV_EXCP_U_ECALL) {
1903acbbb94eSMichael Clark             assert(env->priv <= 3);
19045eb9e782SAlistair Francis 
19055eb9e782SAlistair Francis             if (env->priv == PRV_M) {
19065eb9e782SAlistair Francis                 cause = RISCV_EXCP_M_ECALL;
190738256529SWeiwei Li             } else if (env->priv == PRV_S && env->virt_enabled) {
19085eb9e782SAlistair Francis                 cause = RISCV_EXCP_VS_ECALL;
190938256529SWeiwei Li             } else if (env->priv == PRV_S && !env->virt_enabled) {
19105eb9e782SAlistair Francis                 cause = RISCV_EXCP_S_ECALL;
19115eb9e782SAlistair Francis             } else if (env->priv == PRV_U) {
19125eb9e782SAlistair Francis                 cause = RISCV_EXCP_U_ECALL;
19135eb9e782SAlistair Francis             }
1914acbbb94eSMichael Clark         }
1915acbbb94eSMichael Clark     }
1916acbbb94eSMichael Clark 
1917c51a3f5dSYifei Jiang     trace_riscv_trap(env->mhartid, async, cause, env->pc, tval,
1918c51a3f5dSYifei Jiang                      riscv_cpu_get_trap_name(cause, async));
191969430111SAlistair Francis 
192069430111SAlistair Francis     qemu_log_mask(CPU_LOG_INT,
192169430111SAlistair Francis                   "%s: hart:"TARGET_FMT_ld", async:%d, cause:"TARGET_FMT_lx", "
192269430111SAlistair Francis                   "epc:0x"TARGET_FMT_lx", tval:0x"TARGET_FMT_lx", desc=%s\n",
192369430111SAlistair Francis                   __func__, env->mhartid, async, cause, env->pc, tval,
192469430111SAlistair Francis                   riscv_cpu_get_trap_name(cause, async));
1925df354dd4SMichael Clark 
19261697837eSRajnesh Kanwal     if (env->priv <= PRV_S && cause < 64 &&
192740336d5bSRajnesh Kanwal         (((deleg >> cause) & 1) || s_injected || vs_injected)) {
1928df354dd4SMichael Clark         /* handle the trap in S-mode */
192953309be1SDeepak Gupta         /* save elp status */
193053309be1SDeepak Gupta         if (cpu_get_fcfien(env)) {
193153309be1SDeepak Gupta             env->mstatus = set_field(env->mstatus, MSTATUS_SPELP, env->elp);
193253309be1SDeepak Gupta         }
193353309be1SDeepak Gupta 
19345eb9e782SAlistair Francis         if (riscv_has_ext(env, RVH)) {
1935d028ac75SAnup Patel             uint64_t hdeleg = async ? env->hideleg : env->hedeleg;
19365eb9e782SAlistair Francis 
193740336d5bSRajnesh Kanwal             if (env->virt_enabled &&
193840336d5bSRajnesh Kanwal                 (((hdeleg >> cause) & 1) || vs_injected)) {
193984b1c04bSAlistair Francis                 /* Trap to VS mode */
1940c5969a3aSRajnesh Kanwal                 /*
1941c5969a3aSRajnesh Kanwal                  * See if we need to adjust cause. Yes if its VS mode interrupt
1942c5969a3aSRajnesh Kanwal                  * no if hypervisor has delegated one of hs mode's interrupt
1943c5969a3aSRajnesh Kanwal                  */
19441525d8aaSAlistair Francis                 if (async && (cause == IRQ_VS_TIMER || cause == IRQ_VS_SOFT ||
19451525d8aaSAlistair Francis                               cause == IRQ_VS_EXT)) {
1946c5969a3aSRajnesh Kanwal                     cause = cause - 1;
194784b1c04bSAlistair Francis                 }
194886d0c457SAlistair Francis                 write_gva = false;
194938256529SWeiwei Li             } else if (env->virt_enabled) {
19505eb9e782SAlistair Francis                 /* Trap into HS mode, from virt */
19515eb9e782SAlistair Francis                 riscv_cpu_swap_hypervisor_regs(env);
1952f2d5850fSAlistair Francis                 env->hstatus = set_field(env->hstatus, HSTATUS_SPVP,
1953ace54453SGeorg Kotheimer                                          env->priv);
19542136b6c3SWeiwei Li                 env->hstatus = set_field(env->hstatus, HSTATUS_SPV, true);
195586d0c457SAlistair Francis 
195630675539SAlistair Francis                 htval = env->guest_phys_fault_addr;
195730675539SAlistair Francis 
195868c05fb5SRajnesh Kanwal                 virt = false;
19595eb9e782SAlistair Francis             } else {
19605eb9e782SAlistair Francis                 /* Trap into HS mode */
1961ec352d0cSGeorg Kotheimer                 env->hstatus = set_field(env->hstatus, HSTATUS_SPV, false);
196230675539SAlistair Francis                 htval = env->guest_phys_fault_addr;
19635eb9e782SAlistair Francis             }
196486d0c457SAlistair Francis             env->hstatus = set_field(env->hstatus, HSTATUS_GVA, write_gva);
19655eb9e782SAlistair Francis         }
19665eb9e782SAlistair Francis 
19675eb9e782SAlistair Francis         s = env->mstatus;
19681a9540d1SAlistair Francis         s = set_field(s, MSTATUS_SPIE, get_field(s, MSTATUS_SIE));
1969df354dd4SMichael Clark         s = set_field(s, MSTATUS_SPP, env->priv);
1970df354dd4SMichael Clark         s = set_field(s, MSTATUS_SIE, 0);
1971c7b95171SMichael Clark         env->mstatus = s;
197258597bfeSTANG Tiancheng         sxlen = 16 << riscv_cpu_sxl(env);
197358597bfeSTANG Tiancheng         env->scause = cause | ((target_ulong)async << (sxlen - 1));
1974acbbb94eSMichael Clark         env->sepc = env->pc;
1975ac12b601SAtish Patra         env->stval = tval;
197630675539SAlistair Francis         env->htval = htval;
19778e2aa21bSAnup Patel         env->htinst = tinst;
1978acbbb94eSMichael Clark         env->pc = (env->stvec >> 2 << 2) +
1979acbbb94eSMichael Clark                   ((async && (env->stvec & 3) == 1) ? cause * 4 : 0);
198068c05fb5SRajnesh Kanwal         riscv_cpu_set_mode(env, PRV_S, virt);
1981df354dd4SMichael Clark     } else {
1982acbbb94eSMichael Clark         /* handle the trap in M-mode */
198353309be1SDeepak Gupta         /* save elp status */
198453309be1SDeepak Gupta         if (cpu_get_fcfien(env)) {
198553309be1SDeepak Gupta             env->mstatus = set_field(env->mstatus, MSTATUS_MPELP, env->elp);
198653309be1SDeepak Gupta         }
198753309be1SDeepak Gupta 
19885eb9e782SAlistair Francis         if (riscv_has_ext(env, RVH)) {
198938256529SWeiwei Li             if (env->virt_enabled) {
19905eb9e782SAlistair Francis                 riscv_cpu_swap_hypervisor_regs(env);
19915eb9e782SAlistair Francis             }
19925eb9e782SAlistair Francis             env->mstatus = set_field(env->mstatus, MSTATUS_MPV,
199338256529SWeiwei Li                                      env->virt_enabled);
199438256529SWeiwei Li             if (env->virt_enabled && tval) {
19959034e90aSAlistair Francis                 env->mstatus = set_field(env->mstatus, MSTATUS_GVA, 1);
19969034e90aSAlistair Francis             }
19975eb9e782SAlistair Francis 
199830675539SAlistair Francis             mtval2 = env->guest_phys_fault_addr;
199930675539SAlistair Francis 
20005eb9e782SAlistair Francis             /* Trapping to M mode, virt is disabled */
200168c05fb5SRajnesh Kanwal             virt = false;
20025eb9e782SAlistair Francis         }
20035eb9e782SAlistair Francis 
20045eb9e782SAlistair Francis         s = env->mstatus;
20051a9540d1SAlistair Francis         s = set_field(s, MSTATUS_MPIE, get_field(s, MSTATUS_MIE));
2006df354dd4SMichael Clark         s = set_field(s, MSTATUS_MPP, env->priv);
2007df354dd4SMichael Clark         s = set_field(s, MSTATUS_MIE, 0);
2008c7b95171SMichael Clark         env->mstatus = s;
200958597bfeSTANG Tiancheng         mxlen = 16 << riscv_cpu_mxl(env);
201058597bfeSTANG Tiancheng         env->mcause = cause | ((target_ulong)async << (mxlen - 1));
2011acbbb94eSMichael Clark         env->mepc = env->pc;
2012ac12b601SAtish Patra         env->mtval = tval;
201330675539SAlistair Francis         env->mtval2 = mtval2;
20148e2aa21bSAnup Patel         env->mtinst = tinst;
2015acbbb94eSMichael Clark         env->pc = (env->mtvec >> 2 << 2) +
2016acbbb94eSMichael Clark                   ((async && (env->mtvec & 3) == 1) ? cause * 4 : 0);
201768c05fb5SRajnesh Kanwal         riscv_cpu_set_mode(env, PRV_M, virt);
2018df354dd4SMichael Clark     }
2019d9360e96SMichael Clark 
20203b57254dSWeiwei Li     /*
202153309be1SDeepak Gupta      * Interrupt/exception/trap delivery is asynchronous event and as per
202253309be1SDeepak Gupta      * zicfilp spec CPU should clear up the ELP state. No harm in clearing
202353309be1SDeepak Gupta      * unconditionally.
202453309be1SDeepak Gupta      */
202553309be1SDeepak Gupta     env->elp = false;
202653309be1SDeepak Gupta 
202753309be1SDeepak Gupta     /*
20283b57254dSWeiwei Li      * NOTE: it is not necessary to yield load reservations here. It is only
2029d9360e96SMichael Clark      * necessary for an SC from "another hart" to cause a load reservation
2030d9360e96SMichael Clark      * to be yielded. Refer to the memory consistency model section of the
2031d9360e96SMichael Clark      * RISC-V ISA Specification.
2032d9360e96SMichael Clark      */
2033d9360e96SMichael Clark 
2034ec352d0cSGeorg Kotheimer     env->two_stage_lookup = false;
20358e2aa21bSAnup Patel     env->two_stage_indirect_lookup = false;
2036df354dd4SMichael Clark }
20372dd31749SPhilippe Mathieu-Daudé 
20382dd31749SPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */
2039