summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton2016-05-19 14:25:04 +0100
committerRobert Norton2016-05-19 14:25:11 +0100
commitbf1c1d510e6051e4ab3140452a7f5697e09f4a81 (patch)
treed335245c284e25c2b877e4f1adeff9cb1a656713
parenta73404e8655d2b3e07d34a5649f853f8568a5921 (diff)
correctly report TLB size and type in config reg.
-rw-r--r--mips/mips_insts.sail4
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index 063472ca..d4459fb1 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -1347,12 +1347,12 @@ function clause execute (MFC0(rt, rd, sel, double)) = {
: 0b1 (* BE *)
: 0b10 (* AT *)
: 0b000 (* AR *)
- : 0b000 (* MT no MMU *)
+ : 0b001 (* MT standard TLB *)
: 0b0000 (* zero *)
: 0b000) (* K0 TODO should be writable*)
case (0b10000,0b001) -> EXTZ( (* 16, sel 1: Config1 *)
0b1 (* M *)
- : 0b000000 (* MMU size-1 *)
+ : 0b000111 (* MMU size-1 *)
: 0b000 (* IS icache sets *)
: 0b000 (* IL icache lines *)
: 0b000 (* IA icache assoc. *)