Skip to content

Commit

Permalink
clarify that Zcherilevels comes before PTE
Browse files Browse the repository at this point in the history
  • Loading branch information
tariqkurd-repo committed Dec 12, 2024
1 parent 7bd97c7 commit 9dcf82c
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions src/cheri-pte-ext.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -87,9 +87,10 @@ include::img/sv48pte.edn[]
[#sv57pte]
include::img/sv57pte.edn[]

NOTE: All behaviour related to {cheri_pte_ext_name} requires the authorizing capability to have
<<c_perm>>. If <<c_perm>> is _not_ granted then all capability load/stores and AMOs always clear
the tag and the behaviour in this section is not relevant.
NOTE: The behaviour in this section isn't relevant if:

. The authorizing capability doesn't have <<c_perm>>, for loads, stores and AMOs.
. {cheri_levels_ext_name} has cleared the stored tag, for stores and AMOs.

The CW bit indicates whether reading or writing capabilities with the tag set to
the virtual page is permitted. When the CW bit is set, capabilities are written
Expand Down

0 comments on commit 9dcf82c

Please sign in to comment.