blob: 9ff83b3835cc23d1088d5c9a3e4ac8c5025e8913 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
/* This file contains register handling functions that can be
* overridden by extensions.
*/
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 () = ()
|
