fix(data): be more clear that mret/sret return from traps (#1174)

Per ISA spec:
> An MRET or SRET instruction is used to return from a trap in M-mode
> or S-mode respectively.

(Brought to my attention via
riscv/sail-riscv#520 (comment))

Author: ThinkOpenly

backends/instructions_appendix/all_instructions.golden.adoc

@@ -1,6 +1,6 @@
 = Instruction Appendix
 :doctype: book
-:wavedrom: /workspaces/riscv-unified-db/node_modules/.bin/wavedrom-cli
+:wavedrom: /workspace/riscv-unified-db/node_modules/.bin/wavedrom-cli
 // Now the document header is complete and the wavedrom attribute is active.
 
 
@@ -15998,7 +15998,7 @@ Included in::
 == mret
 
 Synopsis::
-Machine Exception Return
+Machine-mode Return from Trap
 
 Encoding::
 [wavedrom, ,svg,subs='attributes',width="100%"]
@@ -16007,7 +16007,7 @@ Encoding::
 ....
 
 Description::
-Returns from an exception in M-mode.
+Return from machine mode after handling a trap.
 
 
 Decode Variables::
@@ -19476,7 +19476,7 @@ Included in::
 == sret
 
 Synopsis::
-Supervisor Exception Return
+Supervisor Mode Return from Trap
 
 Encoding::
 [wavedrom, ,svg,subs='attributes',width="100%"]
@@ -19485,7 +19485,7 @@ Encoding::
 ....
 
 Description::
-Returns from an exception.
+Returns from supervisor mode after handling a trap.
 
 When xref:insts:sret.adoc#udb:doc:inst:sret[sret] is allowed to execute, its behavior depends on whether or not the current privilege
 mode is virtualized.

spec/std/isa/inst/I/mret.yaml

@@ -4,9 +4,9 @@
 $schema: "inst_schema.json#"
 kind: instruction
 name: mret
-long_name: Machine Exception Return
+long_name: Machine-mode Return from Trap
 description: |
-  Returns from an exception in M-mode.
+  Return from machine mode after handling a trap.
 assembly: ""
 definedBy: Sm
 access:

spec/std/isa/inst/S/sret.yaml

@@ -6,9 +6,9 @@
 $schema: "inst_schema.json#"
 kind: instruction
 name: sret
-long_name: Supervisor Exception Return
+long_name: Supervisor Mode Return from Trap
 description: |
-  Returns from an exception.
+  Returns from supervisor mode after handling a trap.
 
   When `sret` is allowed to execute, its behavior depends on whether or not the current privilege
   mode is virtualized.