Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clarify CHERI PTE fault priority when 2-stage translation is in use #547

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Clarify CHERI PTE fault priority when 2-stage translation is in use #547

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions src/cheri-pte-ext.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,9 @@ Page faults are considered to be _CHERI PTE page faults_ if the `Xtval2` registe

NOTE: It is possible for both a _normal_ page fault and a _CHERI PTE page fault_ to both trigger at once, as represented in the `Xtval2` value, as shown in <<mtval2-page-fault>>.

NOTE: Where two stage translation is enabled, the _CHERI PTE page fault_ is only raised when
the second stage translation has completed, and so is prioritized below guest page faults.

All RV64 harts with virtual memory can raise _CHERI store/AMO PTE page faults_.
Only harts which implement {cheri_pte_ext_name} can raise _CHERI load PTE page faults_.

Expand Down
Loading