diff options
| -rw-r--r-- | mips/mips_insts.sail | 4 |
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. *) |