Skip to content

Commit

Permalink
reformat table for clarity - no spec change
Browse files Browse the repository at this point in the history
  • Loading branch information
tariqkurd-repo committed Oct 31, 2024
1 parent 5f436e2 commit 3320ac0
Showing 1 changed file with 6 additions and 9 deletions.
15 changes: 6 additions & 9 deletions src/level-ext.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -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 <<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.
Expand Down

0 comments on commit 3320ac0

Please sign in to comment.