diff options
| author | Andrew Waterman <andrew@sifive.com> | 2019-11-13 05:22:18 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-13 05:22:18 -0800 |
| commit | 2704790df5d16868571bacf4c521df4bac87f452 (patch) | |
| tree | 5b80d59e0eb989d491f2c7db46a1a960e8236e67 /riscv/insns/sret.h | |
| parent | ff81dea8593c6e51b45e7bed230a2cafd56e4caf (diff) | |
| parent | 86857aa3511d0a3bb1d28f8a6213013382545f77 (diff) | |
| download | spike-2704790df5d16868571bacf4c521df4bac87f452.zip spike-2704790df5d16868571bacf4c521df4bac87f452.tar.gz spike-2704790df5d16868571bacf4c521df4bac87f452.tar.bz2 | |
Merge pull request #356 from riscv/priv-flag
Add --priv command-line option to set which privilege modes are available
Diffstat (limited to 'riscv/insns/sret.h')
| -rw-r--r-- | riscv/insns/sret.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/sret.h b/riscv/insns/sret.h index ae841de..be837a3 100644 --- a/riscv/insns/sret.h +++ b/riscv/insns/sret.h @@ -1,3 +1,4 @@ +require_extension('S'); require_privilege(get_field(STATE.mstatus, MSTATUS_TSR) ? PRV_M : PRV_S); set_pc_and_serialize(p->get_state()->sepc); reg_t s = STATE.mstatus; |