Skip to content

Commit d376b81

Browse files
committed
Did spell checking of cheri-pte-ext chapter
1 parent fa13a5f commit d376b81

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/cheri-pte-ext.adoc

+3-3
Original file line numberDiff line numberDiff line change
@@ -85,9 +85,9 @@ include::img/sv48pte.edn[]
8585
[#sv57pte]
8686
include::img/sv57pte.edn[]
8787

88-
NOTE: All behaviour related to {cheri_pte_ext_name} requires the authorizing capability to have
88+
NOTE: All behavior related to {cheri_pte_ext_name} requires the authorizing capability to have
8989
<<c_perm>>. If <<c_perm>> is _not_ granted then all capability load/stores and AMOs always clear
90-
the tag and the behaviour in this section is not relevant.
90+
the tag and the behavior in this section is not relevant.
9191

9292
The CW bit indicates whether reading or writing capabilities with the tag set to
9393
the virtual page is permitted. When the CW bit is set, capabilities are written
@@ -157,7 +157,7 @@ bit value of the capability read. This will introduce additional traps during re
157157
|===
158158

159159
^1^ The choice here is whether to take data dependent exceptions on loads or atomic operations.
160-
It is legal for the implementation to fault even if the tag is not set since this behaviour is only an optimization for software.
160+
It is legal for the implementation to fault even if the tag is not set since this behavior is only an optimization for software.
161161
This means it is also legal to only check the tag under certain conditions and conservatively fault otherwise.
162162

163163
^2^ See <<section_hardware_pte_updates>>.

0 commit comments

Comments
 (0)