add missing words (#435)

riscv · Oct 29, 2024 · 7040370 · 7040370
1 parent 86417e4
commit 7040370
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/insns/cbo_exceptions.adoc b/src/insns/cbo_exceptions.adoc
@@ -1,5 +1,5 @@
 Exceptions::
-CHERI fault exceptions when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +

diff --git a/src/insns/hypv-virt-loadx.adoc b/src/insns/hypv-virt-loadx.adoc
@@ -41,7 +41,7 @@ capability for the operation is <<ddc>>. A copy of the loaded value is written
 to `rd`.
 
 Exceptions::
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +

diff --git a/src/insns/load_exceptions.adoc b/src/insns/load_exceptions.adoc
@@ -8,7 +8,7 @@ Misaligned address fault exception when the effective address is not aligned
 to CLEN/8.
 +
 endif::[]
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +

diff --git a/src/insns/store_exceptions.adoc b/src/insns/store_exceptions.adoc
@@ -8,7 +8,7 @@ Misaligned address fault exception when the effective address is not aligned
 to CLEN/8.
 +
 endif::[]
-CHERI fault exception when the authorising capability fails one of the checks
+CHERI fault exceptions occur when the authorising capability fails one of the checks
 listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 <<stval2>> TYPE field and the corresponding code is written to CAUSE.
 +