From 01ed1c4a495cffcc0a0ca12f3019220f25d1cf66 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 24 Jan 2017 14:23:05 +0000
Subject: first pass at cheri128 sail.

---
 mips/mips_prelude.sail | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'mips/mips_prelude.sail')

diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail
index 80350af1..8975193c 100644
--- a/mips/mips_prelude.sail
+++ b/mips/mips_prelude.sail
@@ -89,8 +89,9 @@ let ([:64:]) TLBNumEntries = 64
 typedef TLBIndexT = (bit[6])
 let (TLBIndexT) TLBIndexMax = 0b111111
 
-let MAX_VA = unsigned(0xffffffffff)
-let MAX_PA = unsigned(0xfffffffff)
+let MAX_U64 = unsigned(0xffffffffffffffff)
+let MAX_VA  = unsigned(0xffffffffff)
+let MAX_PA  = unsigned(0xfffffffff)
 
 typedef TLBEntry = register bits [116 : 0] {
   116 ..  101: pagemask;
-- 
cgit v1.2.3