mips/mips_tlb_stub.sail


1
2
3
4

function option<TLBIndexT> tlbSearch((bit[64]) VAddr) = None

function (bit[64]) TLBTranslate ((bit[64]) vAddr, (MemAccessType) accessType) = 
      vAddr