From 1d27cc5cd4d4876a8184863a1526e9bf16b0f3cb Mon Sep 17 00:00:00 2001 From: Krste Asanovic Date: Sun, 25 Feb 2024 23:51:01 -0800 Subject: [PATCH] Added Svvptc as expansion option in both RVA and RVB. --- rva23-profile.adoc | 7 +++++-- rvb23-profile.adoc | 3 +++ 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/rva23-profile.adoc b/rva23-profile.adoc index 4652e7c..f2540d5 100644 --- a/rva23-profile.adoc +++ b/rva23-profile.adoc @@ -321,8 +321,8 @@ NOTE: The following extensions were required when the hypervisor was implemented ==== RVA23S64 Optional Extensions RVA23S64 has ten unprivileged options (Zvkng, Zvksg, Zacas, Zvbc, Zfh, -Zbc, Zvfh, Zfbfmin, Zvfbfmin, Zvfbfwma) from RVA23U64, and six -privileged options (Sv48, Sv57, Svadu, Zkr, Sdext, Ssstrict). +Zbc, Zvfh, Zfbfmin, Zvfbfmin, Zvfbfwma) from RVA23U64, and seven +privileged options (Sv48, Sv57, Svadu, Zkr, Sdext, Ssstrict, Svvptc). ===== Localized Options @@ -357,6 +357,9 @@ The following are new privileged expansion options in RVA23S64 NOTE: Ssstrict does not prescribe behavior for the custom encoding spaces or CSRs. +- *Svvptc* Transitions from invalid to valid PTEs will be visible in + bounded time without an explicit SFENCE. + ===== Transitory Options There are no privileged transitory options in RVA23S64. diff --git a/rvb23-profile.adoc b/rvb23-profile.adoc index 3efdf3a..448d3cf 100644 --- a/rvb23-profile.adoc +++ b/rvb23-profile.adoc @@ -363,6 +363,9 @@ The following privileged expansion options are also present in RVA23S64: NOTE: Ssstrict does not prescribe behavior for the custom encoding spaces or CSRs. +- *Svvptc* Transitions from invalid to valid PTEs will be visible in + bounded time without an explicit SFENCE. + ==== RVB23S64 Recommendations - Implementations are strongly recommended to raise illegal-instruction