Skip to content

Commit 3f60d70

Browse files
committed
MNRET instruction: improving long name and description to match Smrnmi and Smdbltrp extensions documentation
Signed-off-by: Albert Yosher <[email protected]>
1 parent 3b9803b commit 3f60d70

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

arch/inst/Smrnmi/mnret.yaml

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,13 @@
33
$schema: inst_schema.json#
44
kind: instruction
55
name: mnret
6-
long_name: Machine NMI Return
6+
long_name: Machine mode resume from the RNMI or Double Trap handler.
77
description: |
8-
Returns from an NMI in M-mode.
8+
MNRET is an M-mode-only instruction that uses the values in mnepc and mnstatus to return to the
9+
program counter, privilege mode, and virtualization mode of the interrupted context. This instruction
10+
also sets mnstatus.NMIE. If MNRET changes the privilege mode to a mode less privileged than M, it
11+
also sets mstatus.MPRV to 0. If the Zicfilp extension is implemented, then if the new privileged mode is
12+
y, MNRET sets ELP to the logical AND of yLPE (see Section 22.1.1) and mnstatus.MNPELP.
913
definedBy: Smrnmi
1014
assembly: mnret
1115
encoding:

0 commit comments

Comments
 (0)