1 files changed, 13 insertions, 3 deletions
diff --git a/riscv/riscv_sail.h b/riscv/riscv_sail.h
index f2569b3b..424b64b0 100644
--- a/riscv/riscv_sail.h
+++ b/riscv/riscv_sail.h
@@ -6,6 +6,9 @@ typedef int unit;
 #define UNIT 0
 typedef uint64_t mach_bits;
 
+struct zMisa {mach_bits zMisa_chunk_0;};
+struct zMisa zmisa;
+
 void model_init(void);
 void model_fini(void);
 
@@ -14,6 +17,16 @@ unit zinit_sys(unit);
 bool zstep(sail_int);
 unit ztick_clock(unit);
 unit ztick_platform(unit);
+unit z_set_Misa_C(struct zMisa*, mach_bits);
+
+#ifdef RVFI_DII
+unit zrvfi_set_instr_packet(mach_bits);
+mach_bits zrvfi_get_cmd(unit);
+bool zrvfi_step(sail_int);
+unit zrvfi_zzero_exec_packet(unit);
+unit zrvfi_halt_exec_packet(unit);
+void zrvfi_get_exec_packet(sail_bits *rop, unit);
+#endif
 
 extern bool zhtif_done;
 extern mach_bits zhtif_exit_code;
@@ -39,6 +52,3 @@ struct zMcause {mach_bits zMcause_chunk_0;};
 struct zMcause zmcause, zscause;
 
 extern mach_bits zminstret;
-
-struct zMisa {mach_bits zMisa_chunk_0;};
-struct zMisa zmisa;