Skip to content

Commit

Permalink
make wording match the risc-v spec more closely
Browse files Browse the repository at this point in the history
  • Loading branch information
tariqkurd-repo committed Dec 6, 2024
1 parent 98a11f5 commit eb98561
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/riscv-integration.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -1190,9 +1190,11 @@ accessing memory.

===== Updating CSRs

Some capability-holding CSRs are unable to hold arbitrary addresses.
For a given such CSR, addresses that cannot be stored are termed "invalid".
Some situations may appear to require that the CSR come to hold a capability with an invalid address:
Some capability-holding CSRs need not be able to hold all invalid virtual addresses.
Prior to writing to those CSRs, implementations may convert an invalid address into some other invalid address that the CSR is capable of holding.
This is problematic for CHERI as updating the address may invalidate the bounds as a result, if the bounds are not those of the <<infinite-cap>> capability.

Some situations may require that a CSR may be updated to hold a capability with an invalid address:

* executing instructions, such as <<CSRRW>>
* hardware updates to CSRs such as storing the <<pcc>> (which becomes capability A) into
Expand Down

0 comments on commit eb98561

Please sign in to comment.