add dcbz and tlbio instruction needed by mmu

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 6bef234c6d74f4d7cfc33830d86e5260045ce7d9..4048641a56cf0ccbb822ef14c8759af6bbe9bc64 100644 (file)
--- 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
+