From 69e17eafd4c49acaec454a50e88adaac2929a1e7 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 26 Jan 2024 13:55:24 +0100 Subject: [PATCH] improve wording for tag section Signed-off-by: Axel Heider --- src/cap-description.adoc | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/cap-description.adoc b/src/cap-description.adoc index e6e22989..27507af0 100644 --- a/src/cap-description.adoc +++ b/src/cap-description.adoc @@ -21,18 +21,17 @@ Capabilities contain the software accessible fields described in this section. [#section_tag] ==== Tag -An additional hardware managed bit added to addressable memory and registers. -It is stored separately and may be referred to as "out of band". It indicates -whether a register or CLEN-aligned memory location contains a valid capability. -If the tag is set, the capability is valid and can be dereferenced (contingent -on checks such as permissions or bounds). +The tag is an additional hardware managed bit added to addressable memory and +registers. It is stored separately and may be referred to as "out of band". It +indicates whether a register or CLEN-aligned memory location contains a valid +capability. If the tag is set, the capability is valid and can be dereferenced +(contingent on checks such as permissions or bounds). The capability is invalid if the tag is clear. Using an invalid capability to dereference memory or authorize any operation gives rise to exceptions. All capabilities derived from invalid capabilities are themselves invalid i.e. their tags are 0. - All locations in registers or memory able to hold a capability are CLEN+1 bits wide including the tag bit. Those locations are referred as being _CLEN-bit_ or _capability_ wide in this specification.