diff options
| -rw-r--r-- | mips/mips_prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 1f2b55b9..f23df90c 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -350,7 +350,7 @@ function bool tlbEntryMatch(r, vpn2, asid, (TLBEntry) entry) = function option<TLBIndexT> tlbSearch((bit[64]) VAddr) = let r = (VAddr[63..62]) in let vpn2 = (VAddr[39..13]) in - let asid = (TLBEntryHi.ASID) in + let asid = (((bit[64])TLBEntryHi)[7..0]) in (* XXX workaround sail bug *) if (tlbEntryMatch(r, vpn2, asid, TLBEntry00)) then Some(0b000) else if (tlbEntryMatch(r, vpn2, asid, TLBEntry01)) then |