Skip to content

Commit

Permalink
add note that inst fetches are only implicits at the moment
Browse files Browse the repository at this point in the history
  • Loading branch information
ved-rivos committed Oct 14, 2023
1 parent 0063d0a commit 7df14a6
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions cfi_backward.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -874,6 +874,13 @@ or `C.SSPUSH`, and the store is being made to a shadow stack page.
Shadow stack instructions cause an access-fault if the accessed page is not a
shadow stack page or if the page is in non-idempotent memory to similarly
indicate fatality.
While the specification mandates that an access-fault exception shall be
generated when either single-stage or VS-stage address translation is invoked
for an implicit access targeting a shadow stack page, it is pertinent to
highlight that, at the time of this specification's drafting, instruction
fetches are the exclusive class of implicit accesses that are subjected to
either single-stage or VS-stage address translation.
====

To support these rules, the virtual address translation process specified in
Expand Down

0 comments on commit 7df14a6

Please sign in to comment.