From bfa23329ca15b8db4437f832b520672e850ebd63 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 2 Feb 2016 15:41:00 +0000
Subject: mips.sail: TranslateAddress hack maps all xkphys addresses to 0x9...
 region

---
 mips/mips.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mips/mips.sail b/mips/mips.sail
index 5843e9ac..42c86b49 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -196,7 +196,7 @@ function (option<Exception>, option<bit[64]>) TranslateAddress ((bit[64]) vAddr,
         case (0b1111111111111111111111111111111, 0b00) -> (None, Some(vAddr)) (* kseg0 unmapped cached 32-bit compat *)
         case (_, _) -> (err, None)  (* xkseg mapped TODO *)
       }
-      case 0b10 -> (None, Some(vAddr)) (* xkphys bits 61-59 are cache mode which we ignore *)
+      case 0b10 -> (None, Some(0b10010 : (vAddr[58..0]))) (* xkphys bits 61-59 are cache mode which we ignore *)
       case 0b01 -> (err, None) (* xsseg - supervisor mapped TODO *)
       case 0b00 -> (err, None) (* xuseg - user mapped TODO *)
     }
-- 
cgit v1.2.3