From: lkcl <lkcl@web>
Date: Thu, 15 Sep 2022 20:11:16 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~420
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f0966140a1c2d6d0160052392b0c44ae4ae64356;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls001.mdwn b/openpower/sv/rfc/ls001.mdwn
index 67e6f669d..a9d7167fe 100644
--- a/openpower/sv/rfc/ls001.mdwn
+++ b/openpower/sv/rfc/ls001.mdwn
@@ -627,10 +627,13 @@ that is as follows:
   
 | 0-5 | 6 | 7 | 8-31  | 32:33 |  Description               |
 |-----|---|---|-------|-------|---------------------------|
-| PO9?| / | / | ////  | 11    | SVP64 (current and future) |
-| PO9?| / | / | ////  | 01    | RESERVED (other)          |
-| PO9?| / | / | ////  | 10    | RESERVED (other)          |
-| PO9?| / | / | ////  | 00    | RESERVED (other)          |
+| PO9?| 0 | 0 | 0000  | 11    | RESERVED (other)          |
+| PO9?| 0 | 0 | !zero | 11    | SVP64 (current and future) |
+| 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?| 1 | x | xxxx  | xx    | SVP64 (current and future) |
 
 This ensures that any potential for future conflict over uses of the
 EXT009 space, jeapordising Simple-V in the process, are avoided.
@@ -639,12 +642,20 @@ SVP64 then becomes:
 
 | 0-5 | 6 | 7 | 8-31  | 32-3 | Description               |
 |-----|---|---|-------|------|---------------------------|
-| PO  | 0 | 0 | 0000  | 0b11 | `RESERVED1` or EXT300-363              |
-| PO  | 0 | 0 | !zero | 0b11 | SVP64Single:EXT200-263, or `RESERVED3` |
-| PO  | 1 | 0 | 0000  | 0b11 | EXT200-264 or `RESERVED2`               |
-| PO  | 1 | 0 | !zero | 0b11 | SVP64Single:EXT000-063 or `RESERVED4` |
-| PO  | 0 | 1 | nnnn  | 0b11 | SVP64:EXT200-263     |
-| PO  | 1 | 1 | nnnn  | 0b11 | SVP64:EXT000-063       |
+| PO  | 0 | 0 | !zero | 0b11 | SVP64Single:EXT248-263, or `RESERVED3` |
+| PO  | 0 | 1 | nnnn  | 0b11 | SVP64:EXT248-263     |
+| PO  | 1 | 0 | 0000  | 0b11 | EXT248-263 or `RESERVED2`               |
+| PO  | 1 | 0 | !zero | nn   | SVP64Single:EXT000-063 or `RESERVED4` |
+| PO  | 1 | 1 | nnnn  | nn   | SVP64:EXT000-063       |
+
+and reserved areas are:
+
+| 0-5 | 6 | 7 | 8-31  | 32-3 | Description               |
+|-----|---|---|-------|------|---------------------------|
+| PO  | 0 | 0 | 0000  | 0b11 | `RESERVED1` or EXT300-363      |
+| PO9?| 0 | x | xxxx  | 0b01 | RESERVED (other)          |
+| PO9?| 0 | x | xxxx  | 0b10 | RESERVED (other)          |
+| PO9?| 0 | x | xxxx  | 0b00 | RESERVED (other)          |
 
 Where: