(no commit message)
authorlkcl <lkcl@web>
Wed, 29 Mar 2023 20:23:39 +0000 (21:23 +0100)
committerIkiWiki <ikiwiki.info>
Wed, 29 Mar 2023 20:23:39 +0000 (21:23 +0100)
openpower/sv/rfc/ls010.mdwn

index d85e568cd6e610b71c436fb9539adf8ac9c3f925..dca3bed2074c3a5de3bf924e26a79b5eb814a370 100644 (file)
@@ -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]`)