Add sealing to exception causes (#509)

riscv · Jan 23, 2025 · 10bd127 · 10bd127
1 parent f4674d1
commit 10bd127
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/riscv-integration.adoc b/src/riscv-integration.adoc
@@ -731,7 +731,7 @@ Load/store/AMO address breakpoint
 *Branch/jump target address checks (tag, execute permissions, invalid address and bounds)*
 
 | .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access:* +
-*CHERI fault due to capability checks (tag, permissions, invalid address and bounds)*
+*CHERI fault due to capability checks (tag, sealed, permissions, invalid address and bounds)*
 | .>|4,6 .<|*Load/store/AMO capability address misaligned* +
 Optionally: +
 Load/store/AMO address misaligned

diff --git a/src/trigger-integration.adoc b/src/trigger-integration.adoc
@@ -44,7 +44,7 @@ Environment break |
 *Branch/jump target address checks (tag, execute permissions, invalid address and bounds)* |
 | .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access:* +
 *Load/store/AMO capability address misaligned* +
-*CHERI fault due to capability checks (tag, permissions, invalid address and bounds)* |
+*CHERI fault due to capability checks (tag, sealed, permissions, invalid address and bounds)* |
 
 | .>|4,6 .<|Optionally: +
 Load/store/AMO address misaligned |