From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 14:57:03 +0000 (+0100)
Subject: minor corrections to get syntax compiling
X-Git-Tag: convert-csv-opcode-to-binary~2935
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db18d38bb70a57e3ab445fcb14e47e4a97cd47a4;p=libreriscv.git

minor corrections to get syntax compiling
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index be9121fbe..a59648589 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -6,7 +6,7 @@ XFX-Form
 
     n <- spr[5:9] || spr[0:4]
     switch (n)
-      case(13): see Book III
+      case(13): see(Book_III_p974)
       case(808, 809, 810, 811):
       default:
         if length(SPR(n)) = 64 then
@@ -26,7 +26,7 @@ XFX-Form
 
     n <- spr[5:9] || spr[0:4]
     switch (n)
-      case(129): see Book III
+      case(129): see(Book_III_p975)
       case(808, 809, 810, 811):
       default:
         if length(SPR(n)) = 64 then