aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/dret.h
blob: 60aaf217b6b74dfe20f20b3ec36e02267daffb58 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
require(STATE.debug_mode);
set_pc_and_serialize(STATE.dpc->read());
if (ZICFILP_xLPE(STATE.dcsr->v, STATE.dcsr->prv)) {
  STATE.elp = STATE.dcsr->pelp;
}
p->set_privilege(STATE.dcsr->prv, STATE.dcsr->v);
if (STATE.prv < PRV_M)
  STATE.mstatus->write(STATE.mstatus->read() & ~MSTATUS_MPRV);

if (STATE.dcsr->prv == PRV_U || STATE.dcsr->v)
  STATE.mstatus->write(STATE.mstatus->read() & ~MSTATUS_SDT);

if (STATE.dcsr->v && STATE.dcsr->prv == PRV_U)
  STATE.vsstatus->write(STATE.vsstatus->read() & ~SSTATUS_SDT);

/* We're not in Debug Mode anymore. */
STATE.debug_mode = false;

if (STATE.dcsr->step)
  STATE.single_step = STATE.STEP_STEPPING;