Skip to content

Commit

Permalink
Fix indentation of sub-items
Browse files Browse the repository at this point in the history
Move the note after the two sub-items to ensure asciidoc renders the
document correctly.

Fixes: #523
  • Loading branch information
arichardson committed Feb 5, 2025
1 parent 643f546 commit 2510a4b
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions src/cheri-pte-ext.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -115,10 +115,6 @@ If the CW bit is clear then:
is raised when a capability store or AMO instruction is executed and the tag bit
of the capability being written is set.
* When CRG is set, the "pre-CW state", two schemes are permitted (also see <<section_hardware_pte_updates>>):
NOTE: The tag bit of the stored capability is checked _after_ it is potentially
cleared <<tags_cleared_by_permissions,due to lack of permissions>>.

** The same behavior as when CRG is clear, allowing software interpretation
of this state.
** When a capability store or AMO instruction is executed
Expand All @@ -142,6 +138,9 @@ access that caused the update, and the sequence is interruptible. However, the
hart must not perform explicit memory access before the PTE update is globally
visible.
NOTE: The tag bit of the stored capability is checked _after_ it is potentially
cleared <<tags_cleared_by_permissions,due to lack of permissions>>.

When CW is set, the CRG bit indicates the current generation of the virtual memory page with
regards to the ongoing capability revocation cycle. Two schemes are permitted:

Expand Down

0 comments on commit 2510a4b

Please sign in to comment.