From 7df14a6093b7a38bac73f3feffcd47022439a848 Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Sat, 14 Oct 2023 15:33:33 -0500 Subject: [PATCH] add note that inst fetches are only implicits at the moment --- cfi_backward.adoc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/cfi_backward.adoc b/cfi_backward.adoc index 2d5e32c..b831a11 100644 --- a/cfi_backward.adoc +++ b/cfi_backward.adoc @@ -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