diff options
Diffstat (limited to 'model/riscv_ext_regs.sail')
| -rw-r--r-- | model/riscv_ext_regs.sail | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/model/riscv_ext_regs.sail b/model/riscv_ext_regs.sail index 55600af..9ff83b3 100644 --- a/model/riscv_ext_regs.sail +++ b/model/riscv_ext_regs.sail @@ -4,3 +4,11 @@ val ext_init_regs : unit -> unit effect {wreg} function ext_init_regs () = () + +/*! +This function is called after above when running rvfi and allows the model +to be initialised differently (e.g. CHERI cap regs are initialised +to omnipotent instead of null). + */ +val ext_rvfi_init : unit -> unit effect {wreg} +function ext_rvfi_init () = () |