Report CHERI exceptions in xTVAL

The matches the latest ISA spec and QEMU
CTSRD-CHERI · Nov 18, 2020 · afad306 · afad306
1 parent 0a3a298
commit afad306
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cheri_addr_checks.sail b/src/cheri_addr_checks.sail
@@ -10,7 +10,7 @@ function handle_cheri_cap_exception(capEx, regnum) =
     };
     let t : sync_exception = struct {
       trap    = E_Extension(EXC_CHERI),
-      excinfo = (None() : option(xlenbits)),
+      excinfo = Some(EXTZ(regnum @ CapExCode(capEx)) : xlenbits),
       ext     = Some(cause)
     };
     set_next_pc(exception_handler(cur_privilege, CTL_TRAP(t), PC))