From 89f81242f14565f3983bc90e57c88c0fb5e5b81f Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 17:42:21 +0100
Subject: [PATCH] replace x with *

---
 openpower/isa/sprset.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index c6ba3ca96..14a2c2ba1 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -44,7 +44,7 @@ X-Form
 
 * mcrxrx BF
 
-    CR[4×BF+32:4×BF+35] <-  XER[OV] || XER[OV32] || XER[CA] || XER[CA32]
+    CR[4*BF+32:4*BF+35] <-  XER[OV] || XER[OV32] || XER[CA] || XER[CA32]
 
 Special Registers Altered:
 
@@ -122,7 +122,7 @@ X-Form
 
     if CR[4×BFA+32] = 1 then
        RT <-  0xFFFF_FFFF_FFFF_FFFF
-    else if CR[4×BFA+33]=1 then
+    else if CR[4*BFA+33]=1 then
        RT <-  0x0000_0000_0000_0001
     else
        RT <-  0x0000_0000_0000_0000
-- 
2.30.2