Make Smstateen "possible expansion" section non-normative

1 files changed, 11 insertions, 10 deletions

diff --git a/src/smstateen.adoc b/src/smstateen.adoc
index c0e16ba..f0fdea0 100644
--- a/src/smstateen.adoc
+++ b/src/smstateen.adoc
@@ -332,18 +332,18 @@ at that level. This situation is expected to be common for machine level, and
 it might also arise, for example, for a type-1 hypervisor that hosts only a
 single guest virtual machine.
 
-=== Possible expansion
-
+[NOTE]
+====
 If a need is anticipated, the set of `stateen` CSRs could in the future be
 doubled by adding these:
 
-* `0x38C mstateen4` `0x39C mstateen4h`
+* `0x38C mstateen4`, `0x39C mstateen4h`
 
-* `0x38D mstateen5` `0x39D mstateen5h`
+* `0x38D mstateen5`, `0x39D mstateen5h`
 
-* `0x38E mstateen6` `0x39E mstateen6h`
+* `0x38E mstateen6`, `0x39E mstateen6h`
 
-* `0x38F mstateen7` `0x39F mstateen7h`
+* `0x38F mstateen7`, `0x39F mstateen7h`
 
 * `0x18C sstateen4`
 
@@ -353,13 +353,13 @@ doubled by adding these:
 
 * `0x18F sstateen7`
 
-* `0x68C hstateen4` `0x69C hstateen4h`
+* `0x68C hstateen4`, `0x69C hstateen4h`
 
-* `0x68D hstateen5` `0x69D hstateen5h`
+* `0x68D hstateen5`, `0x69D hstateen5h`
 
-* `0x68E hstateen6` `0x69E hstateen6h`
+* `0x68E hstateen6`, `0x69E hstateen6h`
 
-* `0x68F hstateen7` `0x69F hstateen7h`
+* `0x68F hstateen7`, `0x69F hstateen7h`
 
 These additional CSRs are not a definite part of the original proposal because
 it is unclear whether they will ever be needed, and it is believed the rate of
@@ -367,3 +367,4 @@ consumption of bits in the first group, registers numbered 0-3, will be slow
 enough that any looming shortage will be perceptible many years in advance. At
 the moment, it is not known even how many years it may take to exhaust just
 `mstateen0`, `sstateen0`, and `hstateen0`.
+====