From acaa3b959e581f8c3331ae8598560eb207d4fbbb Mon Sep 17 00:00:00 2001
From: Tobias Platen <tplaten@posteo.de>
Date: Wed, 11 Nov 2020 19:48:15 +0100
Subject: [PATCH] add dcbz and tlbio instruction needed by mmu

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

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
+
-- 
2.30.2