| 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.
| 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: