diff options
Diffstat (limited to 'model/riscv_step_rvfi.sail')
| -rw-r--r-- | model/riscv_step_rvfi.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/riscv_step_rvfi.sail b/model/riscv_step_rvfi.sail index 0ab482a..dd24365 100644 --- a/model/riscv_step_rvfi.sail +++ b/model/riscv_step_rvfi.sail @@ -12,6 +12,7 @@ function ext_post_step_hook() -> unit = { val ext_init : unit -> unit effect {wreg} function ext_init() = { init_base_regs(); + init_fdext_regs(); /* these are here so that the C backend doesn't prune them out. */ rvfi_set_instr_packet(0x0000000000000000); print_bits("", rvfi_get_cmd()); |