From d55f785b8aa9a9480359904ce0ec65a607753207 Mon Sep 17 00:00:00 2001 From: Tom Aird Date: Wed, 23 Oct 2024 17:12:12 +0100 Subject: [PATCH] Add CL to null cap table (#430) It was there for the infinite cap but not the null cap Co-authored-by: Tom Aird --- src/cap-description.adoc | 31 +++++++++++++++++-------------- 1 file changed, 17 insertions(+), 14 deletions(-) diff --git a/src/cap-description.adoc b/src/cap-description.adoc index 7085a897..6bfef8dd 100644 --- a/src/cap-description.adoc +++ b/src/cap-description.adoc @@ -589,22 +589,25 @@ expanded base is 0 and top is 2^MXLEN^. .Field values of the NULL capability [#null-cap,reftext="NULL",options=header,align=center,width="70%",cols="25,23,52"] |============================================================================== -| Field | Value | Comment -| Tag | zero | Capability is not valid -| SDP | zeros | Grants no permissions -| AP | zeros | Grants no permissions -| M | zero | No meaning since non-executable (MXLEN=64 only) -| CT | zero | Unsealed -| EF | zero | Internal exponent format -| L~8~ | zero | Top address reconstruction bit (MXLEN=32 only) -| T | zeros | Top address bits -| T~E~ | zeros | Exponent bits -| B | zeros | Base address bits -| B~E~ | zeros | Exponent bits -| Address | zeros | Capability address -| Reserved | zeros | All reserved fields +| Field | Value | Comment +| Tag | zero | Capability is not valid +| SDP | zeros | Grants no permissions +| AP | zeros | Grants no permissions +| M | zero | No meaning since non-executable (MXLEN=64 only) +| CL | zero^1^| _Local_ +| CT | zero | Unsealed +| EF | zero | Internal exponent format +| L~8~ | zero | Top address reconstruction bit (MXLEN=32 only) +| T | zeros | Top address bits +| T~E~ | zeros | Exponent bits +| B | zeros | Base address bits +| B~E~ | zeros | Exponent bits +| Address | zeros | Capability address +| Reserved | zeros | All reserved fields |============================================================================== +^1^ This field only exists if {cheri_levels_ext_name} is implemented. + [#section_infinite_cap] ==== Infinite Capability