diff options
| author | Andrew Waterman <andrew@sifive.com> | 2023-05-18 21:48:53 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2023-05-18 21:48:53 -0700 |
| commit | 0e83fe66fbf7b918602476bbaacfa6198a90d337 (patch) | |
| tree | 93a72f8e0f093f1c872a0cacb2d822c166954bc0 /riscv/insns/mret.h | |
| parent | 7a2ff14bff461f2c7adfbf407e11527f55d920db (diff) | |
| download | spike-0e83fe66fbf7b918602476bbaacfa6198a90d337.zip spike-0e83fe66fbf7b918602476bbaacfa6198a90d337.tar.gz spike-0e83fe66fbf7b918602476bbaacfa6198a90d337.tar.bz2 | |
Call stash_privilege more selectivelyrivosinc-etrigger_fix_exception_match
Diffstat (limited to 'riscv/insns/mret.h')
| -rw-r--r-- | riscv/insns/mret.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/mret.h b/riscv/insns/mret.h index 5198b8f..6cb6a0d 100644 --- a/riscv/insns/mret.h +++ b/riscv/insns/mret.h @@ -1,4 +1,5 @@ require_privilege(PRV_M); +p->stash_privilege(); set_pc_and_serialize(p->get_state()->mepc->read()); reg_t s = STATE.mstatus->read(); reg_t prev_prv = get_field(s, MSTATUS_MPP); |