aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/mret.h
diff options
context:
space:
mode:
authorVed Shanbhogue <ved@rivosinc.com>2024-06-20 09:08:32 -0500
committerVed Shanbhogue <ved@rivosinc.com>2024-07-06 08:40:08 -0500
commit0797c21001791ce31ffc871c8f3ab6964d901a30 (patch)
treea13242d7aad2c11747b4c571e1181c5cf319acb4 /riscv/insns/mret.h
parent4a2da916671d49d9ab82f702f50995c19110c2a3 (diff)
downloadspike-0797c21001791ce31ffc871c8f3ab6964d901a30.zip
spike-0797c21001791ce31ffc871c8f3ab6964d901a30.tar.gz
spike-0797c21001791ce31ffc871c8f3ab6964d901a30.tar.bz2
Add Ssdbltrp
Diffstat (limited to 'riscv/insns/mret.h')
-rw-r--r--riscv/insns/mret.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/riscv/insns/mret.h b/riscv/insns/mret.h
index 3fe920c..140ebde 100644
--- a/riscv/insns/mret.h
+++ b/riscv/insns/mret.h
@@ -13,6 +13,10 @@ if (ZICFILP_xLPE(prev_virt, prev_prv)) {
STATE.elp = static_cast<elp_t>(get_field(s, MSTATUS_MPELP));
}
s = set_field(s, MSTATUS_MPELP, elp_t::NO_LP_EXPECTED);
+if (prev_prv == PRV_U || prev_virt)
+ s = set_field(s, MSTATUS_SDT, 0);
+if (prev_virt && prev_prv == PRV_U)
+ STATE.vsstatus->write(STATE.vsstatus->read() & ~SSTATUS_SDT);
STATE.mstatus->write(s);
if (STATE.mstatush) STATE.mstatush->write(s >> 32); // log mstatush change
STATE.tcontrol->write((STATE.tcontrol->read() & CSR_TCONTROL_MPTE) ? (CSR_TCONTROL_MPTE | CSR_TCONTROL_MTE) : 0);