Added Svvptc as expansion option in both RVA and RVB.

riscv · Feb 26, 2024 · 1d27cc5 · 1d27cc5
1 parent 5278fb0
commit 1d27cc5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git 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
@@ -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