Skip to content

Commit

Permalink
honour the text wrapping
Browse files Browse the repository at this point in the history
  • Loading branch information
francislaus committed Jan 22, 2024
1 parent 5d2f350 commit 147f3d4
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions src/riscv-integration.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -32,11 +32,12 @@ where address 2^XLENMAX^ - 1 is within the bounds.
=== Programmer's Model for Zcheri_purecap

For {cheri_base_ext_name}, the 32 unprivileged *x* registers of the base
integer ISA are extended so that they are able to hold a capability as well as renamed to *c* registers. Therefore,
each *c* register is CLEN bits wide and has an out of band tag bit. The *x*
notation refers to the address field of the capability in an unprivileged
register while the *c* notation is used to refer to the full capability (i.e.
address, metadata and tag) held in the same unprivileged register.
integer ISA are extended so that they are able to hold a capability as well
as renamed to *c* registers. Therefore, each *c* register is CLEN bits wide
and has an out of band tag bit. The *x* notation refers to the address field
of the capability in an unprivileged register while the *c* notation is used
to refer to the full capability (i.e. address, metadata and tag) held in the
same unprivileged register.

Register *c0* is hardwired with all bits, including the capability metadata and
tag, equal to 0. In other words, *c0* is hardwired to the <<null-cap>>
Expand Down

0 comments on commit 147f3d4

Please sign in to comment.