diff options
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; |