diff --git a/src/cheri-pte-ext.adoc b/src/cheri-pte-ext.adoc index fdcb13bb..914782b7 100644 --- a/src/cheri-pte-ext.adoc +++ b/src/cheri-pte-ext.adoc @@ -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 <>): - -NOTE: The tag bit of the stored capability is checked _after_ it is potentially -cleared <>. - ** The same behavior as when CRG is clear, allowing software interpretation of this state. ** When a capability store or AMO instruction is executed @@ -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 <>. + 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: