From 9dcf82c7fea83a131119b7bf8de9525023082e11 Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Thu, 12 Dec 2024 13:01:05 +0100 Subject: [PATCH] clarify that Zcherilevels comes before PTE --- src/cheri-pte-ext.adoc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/cheri-pte-ext.adoc b/src/cheri-pte-ext.adoc index 8410bdd1..49e540d8 100644 --- a/src/cheri-pte-ext.adoc +++ b/src/cheri-pte-ext.adoc @@ -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 - <>. If <> 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 <>, 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