diff --git a/src/level-ext.adoc b/src/level-ext.adoc index af240727..f4defc2b 100644 --- a/src/level-ext.adoc +++ b/src/level-ext.adoc @@ -125,17 +125,14 @@ NOTE: if W=0 or C=0 then SL is irrelevant .{cheri_levels_ext_name} `LVLBITS=1` summary table for loaded capabilities [#cap_level_load_summary,width="100%",options=header,align=center,cols="1,1,1,1,1,1,6"] |============================================================================== - 4+|Auth cap field 2+| Data cap field | - h|*R* h|*C* h|*EL* h|*CL* h| Tag h| Sealed h|Action -.5+.^|1 .5+.^| 1 | 1 .3+.^| X | X | X .2+.^|Load data capability unmodified - .4+.^| 0 | 0 | N/A - .3+.^| 1 | Yes |Load data capability with `CL=min(auth.CL, data.CL)`, EL unchanged - | 1 .2+.^| No |Load data capability with EL=0, CL unchanged - | 0 |Load data capability with CL=0, EL=0 + 4+|Auth cap field 2+| Data cap field | + h|*R* h|*C* h|*EL* h|*CL* h| Tag h| Sealed h|Action +.3+.^|1 .3+.^| 1 .3+.^| 0 | X .3+.^| 1 | Yes |Load data capability with `CL=min(auth.CL, data.CL)`, EL unchanged + | 1 .2+.^| No |Load data capability with EL=0, CL unchanged + | 0 |Load data capability with CL=0, EL=0 + 6+| All other cases |Load data capability unmodified |============================================================================== -NOTE: if R=0 or C=0 then EL and CL are irrelevant - [#section_ext_cheri_multiple_levels] === Extending {cheri_levels_ext_name} to more than two levels When `LVLBITS>1`, the behaviour of <> can no longer use masking to adjust the <> or <>, but instead must perform an integer minimum operation on those `LVLBITS`-wide fields.