diff --git a/rva23-profile.adoc b/rva23-profile.adoc index f1bf120..179012d 100644 --- a/rva23-profile.adoc +++ b/rva23-profile.adoc @@ -146,6 +146,9 @@ NOTE: V was optional in RVA22U64. - *Zawrs* Wait on reservation set. +- *Supm* Pointer masking, with the execution environment providing a means to + select PMLEN=0 and PMLEN=7 at minimum. + ==== RVA23U64 Optional Extensions RVA23U64 has eleven profile options (Zvkng, Zvksg, Zacas, Zvbc, Zfh, Zbc, @@ -363,6 +366,9 @@ spaces or CSRs. - *Svvptc* Transitions from invalid to valid PTEs will be visible in bounded time without an explicit SFENCE. +- *Sspm* Supervisor-mode pointer masking, with the supervisor execution + environment providing a means to select PMLEN=0 and PMLEN=7 at minimum. + ===== Transitory Options There are no privileged transitory options in RVA23S64. diff --git a/rvb23-profile.adoc b/rvb23-profile.adoc index 9389a47..b054c39 100644 --- a/rvb23-profile.adoc +++ b/rvb23-profile.adoc @@ -188,6 +188,8 @@ NOTE: Unclear if other Zve* extensions should also be supported in RVB. - *Zvfhmin* Vector FP16 conversion instructions. - *Zvbb* Vector bitmanip extension. - *Zvkt* Vector data-independent execution time. +- *Supm* Pointer masking, with the execution environment providing a means to + select PMLEN=0 and PMLEN=7 at minimum. The following extensions are expansion options in both RVA23U64 and RVB23U64: @@ -315,6 +317,9 @@ The following privileged expansion options are mandatory in RVA22S64 but options - *Ssnpm* Pointer masking, with `senvcfg.PME` supporting at minimum, settings PMLEN=0 and PMLEN=7. +- *Sspm* Supervisor-mode pointer masking, with the supervisor execution + environment providing a means to select PMLEN=0 and PMLEN=7 at minimum. + The following hypervisor extension and mandates were also in RVA22S64 and are available as an expansion option in RVB23S64: