Skip to content

Commit

Permalink
fix line break (#461)
Browse files Browse the repository at this point in the history
  • Loading branch information
tariqkurd-repo authored Dec 4, 2024
1 parent c5bc82d commit 12c5565
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/insns/load_tag_perms.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -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 (<<ddc>> or `cs1`) does not grant <<c_perm>>.
+
If the authorizing capability does not grant <<lm_perm>>, and the tag of `cd` is 1 and `cd` is not sealed, then an implicit <<ACPERM>> clearing <<w_perm>> and <<lm_perm>> is performed to obtain the intermediate permissions on `cd`.
++
+
If the authorizing capability does not grant <<el_perm>>, and the tag of `cd` is 1, then an implicit <<ACPERM>> restricting the <<section_cap_level>> to the level of the authorizing capability is performed.
If `cd` is not sealed, this implicit <<ACPERM>> also clears <<el_perm>> to obtain the final permissions on `cd` (see <<cap_level_load_summary>>).

Expand Down

0 comments on commit 12c5565

Please sign in to comment.