From ef2ec9dc9afd003d0dab6d5ca36db59864c8483c Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Wed, 16 Oct 2024 12:09:41 -0700 Subject: [PATCH] Remove future tense from description of now-ratified text (#1685) --- src/machine.adoc | 14 +++++--------- src/supervisor.adoc | 9 +++------ 2 files changed, 8 insertions(+), 15 deletions(-) diff --git a/src/machine.adoc b/src/machine.adoc index 5e003bff..c9412578 100644 --- a/src/machine.adoc +++ b/src/machine.adoc @@ -2230,17 +2230,13 @@ shown in <>, that controls security features. .Machine security configuration (`mseccfg`) register. include::images/wavedrom/mseccfg.edn[] -The definitions of the SSEED and USEED fields will be furnished by the -forthcoming entropy-source extension, Zkr. Their allocations within -`mseccfg` may change prior to the ratification of that extension. +The definitions of the SSEED and USEED fields are furnished by the +entropy-source extension, Zkr. -The definitions of the RLB, MMWP, and MML fields will be furnished by -the forthcoming PMP-enhancement extension, Smepmp. Their allocations -within `mseccfg` may change prior to the ratification of that extension. +The definitions of the RLB, MMWP, and MML fields are furnished by the +PMP-enhancement extension, Smepmp. -The definition of the PMM field will be furnished by the forthcoming -Smmpm extension. Its allocation within `mseccfg` may change prior to the -ratification of that extension. +The definition of the PMM field is furnished by the Smmpm extension. The Zicfilp extension adds the `MLPE` field in `mseccfg`. When `MLPE` field is 1, Zicfilp extension is enabled in M-mode. When the `MLPE` field is 0, the diff --git a/src/supervisor.adoc b/src/supervisor.adoc index 8ad8fe51..10231aa2 100644 --- a/src/supervisor.adoc +++ b/src/supervisor.adoc @@ -816,13 +816,10 @@ to implement that we consider it worth supporting even if only rarely enabled. ==== -The definition of the CBZE field will be furnished by the forthcoming -Zicboz extension. Its allocation within `senvcfg` may change prior to -the ratification of that extension. +The definition of the CBZE field is furnished by the Zicboz extension. -The definitions of the CBCFE and CBIE fields will be furnished by the -forthcoming Zicbom extension. Their allocations within `senvcfg` may -change prior to the ratification of that extension. +The definitions of the CBCFE and CBIE fields are furnished by the Zicbom +extension. The definition of the PMM field is furnished by the Ssnpm extension.