From: lkcl <lkcl@web>
Date: Wed, 29 Mar 2023 20:23:39 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls012_v1~229
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bf8fd2544a6a8c86e565bc6258c4f413262136e1;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls010.mdwn b/openpower/sv/rfc/ls010.mdwn
index d85e568cd..dca3bed20 100644
--- a/openpower/sv/rfc/ls010.mdwn
+++ b/openpower/sv/rfc/ls010.mdwn
@@ -283,8 +283,10 @@ Encoding space with Scalar Ext232-263 and Scalar EXT300-363.
 different Defined Words be allocated within any `EXT{z}` prefixed
 or unprefixed space for a given value of `z`. Even if UnVectoriseable
 an instruction Defined Word space must have the exact same Instruction
-and exact same Instruction Encoding in all spaces or not be allocated at all.
-This is required as an inviolate hard rule governing Primary Opcode 9*
+and exact same Instruction Encoding in all spaces (including
+being RESERVED if UnVectoriseable) or not be allocated at all.
+This is required as an inviolate hard rule governing Primary Opcode 9
+that may not be revoked under any circumstances*
 
 # Remapped Encoding (`RM[0:23]`)