diff options
Diffstat (limited to 'mips/mips_tlb_stub.sail')
| -rw-r--r-- | mips/mips_tlb_stub.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mips/mips_tlb_stub.sail b/mips/mips_tlb_stub.sail new file mode 100644 index 00000000..b2ddfca8 --- /dev/null +++ b/mips/mips_tlb_stub.sail @@ -0,0 +1,4 @@ +function option<TLBIndexT> tlbSearch((bit[64]) VAddr) = None + +function (bit[64]) TLBTranslate ((bit[64]) vAddr, (MemAccessType) accessType) = + vAddr |