(no commit message)

diff --git a/openpower/sv/rfc/ls001.mdwn b/openpower/sv/rfc/ls001.mdwn
index c2d71b39f6f002623b57282efee202ab0cdb8d55..9f487114cd05e8cd3a16da16ed779cbceba7c558 100644 (file)
--- a/openpower/sv/rfc/ls001.mdwn
+++ b/openpower/sv/rfc/ls001.mdwn
@@ -621,18 +621,20 @@ that is as follows:
 
 * EXT009, like EXT001 of Public v3.1, is **defined** as a 64-bit
   encoding
-* bits 32-33 if 0b11 are **defined** as allocated to SVP64 Format
-  *regardless of what that is*
-* other combinations of bits 32-33 are `RESERVED` for other purposes
+* bit 6 if 0b1 is 100% for Simple-V augmentation (Public v3.1 1.6.3)
+  "Defined Word" (aka EXT000-063), with the exception of 0x24000000
+  as a Prefix, which is a new RESERVED encoding.
+* when bit 6 is 0b0 and bits 32-33 are 0b11 are **defined** as also
+  allocated to Simple-V
+* all other patterns are `RESERVED` for other purposes, 
   
 | 0-5 | 6 | 7 | 8-31  | 32:33 |  Description               |
 |-----|---|---|-------|-------|---------------------------|
-| PO9?| 0 | 0 | 0000  | 11    | RESERVED (other)          |
+| PO9?| 0 | 0 | 0000  | xx    | RESERVED (other)          |
 | PO9?| 0 | 0 | !zero | 11    | SVP64 (current and future) |
+| PO9?| 0 | 0 | !zero | 00-10 | RESERVED (other) |
 | PO9?| 0 | 1 | xxxx  | 11    | SVP64 (current and future) |
-| PO9?| 0 | x | xxxx  | 01    | RESERVED (other)          |
-| PO9?| 0 | x | xxxx  | 10    | RESERVED (other)          |
-| PO9?| 0 | x | xxxx  | 00    | RESERVED (other)          |
+| PO9?| 0 | x | xxxx  | 00-10 | RESERVED (other)          |
 | PO9?| 1 | x | xxxx  | xx    | SVP64 (current and future) |
 
 This ensures that any potential for future conflict over uses of the