From: Tobias Platen <tplaten@posteo.de>
Date: Wed, 11 Nov 2020 18:48:15 +0000 (+0100)
Subject: add dcbz and tlbio instruction needed by mmu
X-Git-Tag: convert-csv-opcode-to-binary~1845
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=acaa3b959e581f8c3331ae8598560eb207d4fbbb;p=libreriscv.git

add dcbz and tlbio instruction needed by mmu
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 6bef234c6..4048641a5 100644
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -210,3 +210,33 @@ Special Registers Altered:
 
     None
 
+# Data Cache Block set to Zero
+
+X-Form
+
+* dcbz RA,RB
+
+Pseudo-code:
+
+    if RA = 0 then b <- 0
+    else           b <-(RA)
+    EA <- b + (RB)
+
+Special Registers Altered:
+
+    None
+
+# TLB Invalidate Entry
+
+X-Form
+
+* tlbie RB,RS,RIC,PRS,R
+
+Pseudo-code:
+
+    IS <- (RB) [52:53]
+
+Special Registers Altered:
+
+    None
+