From 12c5565defc6a3f363cf9578504e7377d463563e Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Wed, 4 Dec 2024 11:03:17 +0000 Subject: [PATCH] fix line break (#461) @tomaird --- src/insns/load_tag_perms.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/insns/load_tag_perms.adoc b/src/insns/load_tag_perms.adoc index 4908a326..4110b8c0 100644 --- a/src/insns/load_tag_perms.adoc +++ b/src/insns/load_tag_perms.adoc @@ -3,7 +3,7 @@ The tag value written to `cd` is 0 if the tag of the memory location loaded is 0 or the authorizing capability (<> or `cs1`) does not grant <>. + If the authorizing capability does not grant <>, and the tag of `cd` is 1 and `cd` is not sealed, then an implicit <> clearing <> and <> is performed to obtain the intermediate permissions on `cd`. -++ ++ If the authorizing capability does not grant <>, and the tag of `cd` is 1, then an implicit <> restricting the <> to the level of the authorizing capability is performed. If `cd` is not sealed, this implicit <> also clears <> to obtain the final permissions on `cd` (see <>).