From: lkcl <lkcl@web>
Date: Fri, 14 Jun 2019 14:03:15 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~4628
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=97c797e61bd4bb7518ca1d94b9efa9ff3825c3f8;p=libreriscv.git

---

diff --git a/isa_conflict_resolution/isamux_isans.mdwn b/isa_conflict_resolution/isamux_isans.mdwn
index d3f3d43c1..b638d8cb1 100644
--- a/isa_conflict_resolution/isamux_isans.mdwn
+++ b/isa_conflict_resolution/isamux_isans.mdwn
@@ -118,7 +118,6 @@ MISANS, MTRAPISANS, MLASTISANS and so on):
 <pre>
 trap_entry()
 {
-
     LAST-ISANS = ISANS // record the old NS
     ISANS = TRAP_ISANS // traps are executed in "trap" NS
 }
@@ -147,7 +146,7 @@ Open question: see <https://groups.google.com/a/groups.riscv.org/d/msg/isa-dev/I
 trap_entry(x_cause)
 {
     LAST-ISANS = ISANS // record the old NS
-    ISANS = TRAP_ISANS[xcause] // traps are executed in "trap" NS
+    ISANS = TRAP_ISANS_VEC[xcause] // traps are executed in "trap" NS
 }
 
 and trap_exit:
@@ -155,7 +154,7 @@ and trap_exit:
 trap_exit(x_cause):
 {
     ISANS = LAST-ISANS
-    LAST-ISANS = TRAP_ISANS[x_cause]
+    LAST-ISANS = TRAP_ISANS_VEC[x_cause]
 }
 </pre>
 </code>