diff options
author | Robert Norton <rmn30@cam.ac.uk> | 2019-07-09 15:04:08 +0100 |
---|---|---|
committer | Robert Norton <rmn30@cam.ac.uk> | 2019-07-09 15:04:08 +0100 |
commit | 6541c02412d6c8744f4c3a137ec302ea40d8117d (patch) | |
tree | 8b7e2e64c62e812a2fc455c4a240fa5ad70f07f5 /model/riscv_ext_regs.sail | |
parent | cc53e6272416ac3ba680849d0b29b0571e2bbcbd (diff) | |
download | sail-riscv-6541c02412d6c8744f4c3a137ec302ea40d8117d.zip sail-riscv-6541c02412d6c8744f4c3a137ec302ea40d8117d.tar.gz sail-riscv-6541c02412d6c8744f4c3a137ec302ea40d8117d.tar.bz2 |
Add ext_rvfi_init to allow model to be initialised differently for rvfi.
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 () = () |