diff options
| -rw-r--r-- | mips/mips_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index 285d3011..d127f6db 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -1546,7 +1546,7 @@ function clause execute (MTC0(rt, rd, sel, double)) = { } function unit TLBWriteEntry((TLBIndexT) idx) = { - pagemask := ((bit[16]) TLBPageMask); + pagemask := EXTZ(TLBPageMask); (* XXX EXTZ here forces register read in ocaml shallow embedding *) switch(pagemask) { case 0x0000 -> () case 0x0003 -> () |