diff options
| author | Robert Norton | 2016-05-12 12:02:01 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-12 12:02:06 +0100 |
| commit | 19a026fb51378c727d6f2da70bc828b796ab514d (patch) | |
| tree | 3991a7264069bec1b1bc9d58b135a635d2d44c74 /mips/mips_prelude.sail | |
| parent | 123c93b1afc3997d8d2a58c75c05184f4fe8ef73 (diff) | |
remove redundant wrapper function 'TranslateOrExit' and rename uses.
Diffstat (limited to 'mips/mips_prelude.sail')
| -rw-r--r-- | mips/mips_prelude.sail | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index e27a49d7..c338adf1 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -229,9 +229,6 @@ function (bit[64]) TLBTranslate ((bit[64]) vAddr, (MemAccessType) accessType) = addr } -function bit[64] TranslateOrExit((bit[64]) vAddr, (MemAccessType) accessType) = - TLBTranslate(vAddr, accessType) - typedef regno = bit[5] (* a register number *) typedef imm16 = bit[16] (* 16-bit immediate *) typedef regregreg = (regno, regno, regno) (* a commonly used instruction format with three register operands *) |