diff options
| author | Robert Norton | 2018-02-26 16:22:54 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-26 16:28:57 +0000 |
| commit | 64634ce688436c001dd92984247906dab4370931 (patch) | |
| tree | 2c13c6d63b293a7c4ece00962327d29197788e27 /mips_new_tc/mips_wrappers.sail | |
| parent | 00b94e369b6abd7fb6753d5e04fae64e9e3272a7 (diff) | |
working sail2 mips spec (passes BERI tests).
Diffstat (limited to 'mips_new_tc/mips_wrappers.sail')
| -rw-r--r-- | mips_new_tc/mips_wrappers.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail index d0a4cdb2..42e3e427 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips_new_tc/mips_wrappers.sail @@ -72,7 +72,7 @@ function TranslatePC (vAddr) = { let have_cp2 = false -function SignalException (ex) = SignalExceptionMIPS(ex, 0x0000000000000000) + val ERETHook : unit -> unit function ERETHook() = () |