diff --git a/src/cheri-pte-ext.adoc b/src/cheri-pte-ext.adoc index 5940350e..af7eef8c 100644 --- a/src/cheri-pte-ext.adoc +++ b/src/cheri-pte-ext.adoc @@ -153,7 +153,7 @@ and the capability read from memory optionally has its tag set^1^. |=== |PTE.CW |Mode^1^ |PTE.CRG |Load/AMO | 0 | S/U | X | Clear loaded tag -| 1 | U |≠ <>.UCRG | Page fault, or page fault if tag is set^1^ +| 1 | U |≠ <>.UCRG | Page fault, or page fault if tag is set | 1 | U |= <>.UCRG | Normal operation | 1 | S | X | Normal operation^2^ |===