Skip to content

Commit 3320ac0

Browse files
reformat table for clarity - no spec change
1 parent 5f436e2 commit 3320ac0

File tree

1 file changed

+6
-9
lines changed

1 file changed

+6
-9
lines changed

src/level-ext.adoc

+6-9
Original file line numberDiff line numberDiff line change
@@ -125,17 +125,14 @@ NOTE: if W=0 or C=0 then SL is irrelevant
125125
.{cheri_levels_ext_name} `LVLBITS=1` summary table for loaded capabilities
126126
[#cap_level_load_summary,width="100%",options=header,align=center,cols="1,1,1,1,1,1,6"]
127127
|==============================================================================
128-
4+|Auth cap field 2+| Data cap field |
129-
h|*R* h|*C* h|*EL* h|*CL* h| Tag h| Sealed h|Action
130-
.5+.^|1 .5+.^| 1 | 1 .3+.^| X | X | X .2+.^|Load data capability unmodified
131-
.4+.^| 0 | 0 | N/A
132-
.3+.^| 1 | Yes |Load data capability with `CL=min(auth.CL, data.CL)`, EL unchanged
133-
| 1 .2+.^| No |Load data capability with EL=0, CL unchanged
134-
| 0 |Load data capability with CL=0, EL=0
128+
4+|Auth cap field 2+| Data cap field |
129+
h|*R* h|*C* h|*EL* h|*CL* h| Tag h| Sealed h|Action
130+
.3+.^|1 .3+.^| 1 .3+.^| 0 | X .3+.^| 1 | Yes |Load data capability with `CL=min(auth.CL, data.CL)`, EL unchanged
131+
| 1 .2+.^| No |Load data capability with EL=0, CL unchanged
132+
| 0 |Load data capability with CL=0, EL=0
133+
6+| All other cases |Load data capability unmodified
135134
|==============================================================================
136135

137-
NOTE: if R=0 or C=0 then EL and CL are irrelevant
138-
139136
[#section_ext_cheri_multiple_levels]
140137
=== Extending {cheri_levels_ext_name} to more than two levels
141138
When `LVLBITS>1`, the behaviour of <<ACPERM>> can no longer use masking to adjust the <<section_cap_level>> or <<sl_perm>>, but instead must perform an integer minimum operation on those `LVLBITS`-wide fields.

0 commit comments

Comments
 (0)