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