From 3f9b5d7ab80d11eb11739d9a02b4d0b66ace058b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Thu, 14 May 2015 02:13:59 -0700
Subject: Fix VM, MIP encoding

---
 pk/encoding.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'pk')

diff --git a/pk/encoding.h b/pk/encoding.h
index 3854d82..1fcfaea 100644
--- a/pk/encoding.h
+++ b/pk/encoding.h
@@ -31,9 +31,9 @@
 #define MIP_SSIP            0x00000002
 #define MIP_HSIP            0x00000004
 #define MIP_MSIP            0x00000008
-#define MIP_STIP            0x00000200
-#define MIP_HTIP            0x00000400
-#define MIP_MTIP            0x00000800
+#define MIP_STIP            0x00000020
+#define MIP_HTIP            0x00000040
+#define MIP_MTIP            0x00000080
 
 #define SIP_SSIP MIP_SSIP
 #define SIP_STIP MIP_STIP
@@ -46,9 +46,9 @@
 #define VM_MBARE 0
 #define VM_MBB   1
 #define VM_MBBID 2
-#define VM_SV32  4
-#define VM_SV39  5
-#define VM_SV48  6
+#define VM_SV32  8
+#define VM_SV39  9
+#define VM_SV48  10
 
 #define UA_RV32  0
 #define UA_RV64  4
-- 
cgit v1.1