(no commit message)

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index 8df24e7a82de3e13c25ac7c95cab3ed7c692786d..43a5cde60a1c388cfd42d8a20528562ab43e0947 100644 (file)
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -192,6 +192,8 @@ For each integer value i, 0 to 3, do the following.
     Functions," on page 968 for the equivalent function
     evaluated by this instruction for any given value of TLI.
 
+If `msk` is zero an Illegal Instruction trap is raised.
+
 *Programmer's Note: this instruction is a "masked" overwrite on CR Field BF. For each bit set in msk a Write is performed but for each bit clear in msk the corresponding bit of BF is preserved. Overall this makes crbinlog a conditionally Read-Modify-Write instruction on CR Field BF*
 
 Special registers altered:
@@ -300,6 +302,8 @@ For each integer value i, 0 to 3, do the following.
     Otherwise, if bit i of msk is a zero then bit i of
     CR Field BF is unchanged.
 
+If `msk` is zero an Illegal Instruction trap is raised.
+
 Special registers altered:
 
 ```
@@ -326,8 +330,10 @@ Read-Modify-Write instruction on CR Field BF*
 Add the following section to Book I 1.6.1
 
 ```
-    |0   |6   |9    |12   |15   |18   |21   |29  |31   |
-    | PO | BF | BFA | BFB | BFC | msk | TLI | XO | msk |
+
+    |0   |6   |9    |11   |14   |16   |19   |26  |31   |
+    | PO | BF | msk | BFA | msk | BFB | TLI | XO | TLI |
+    | PO | BF | msk | BFA | msk | BFB | //  | XO | /   |
 ```
 
 # TLI-FORM