diff options
Diffstat (limited to 'mips_new_tc/mips_wrappers.sail')
| -rw-r--r-- | mips_new_tc/mips_wrappers.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail index bbb99e17..2e67a880 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips_new_tc/mips_wrappers.sail @@ -82,4 +82,5 @@ val ERETHook : unit -> unit function ERETHook() = () function init_cp2_state () = skip_wreg() +function cp2_next_pc() = {skip_wreg(); skip_rreg()} function dump_cp2_state () = skip_rreg() |