diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2023-10-10 10:12:03 +0100 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2023-10-11 20:50:13 -0500 |
commit | c04cf29c2215ff614a83ac483b9545a995adca65 (patch) | |
tree | 4cff85556e3667b5661d60c7beee92fdbb043ca0 /model/riscv_sys_regs.sail | |
parent | 51a6c967fb320c2d47a3630b1f392e54eb69c3d7 (diff) | |
download | sail-riscv-c04cf29c2215ff614a83ac483b9545a995adca65.zip sail-riscv-c04cf29c2215ff614a83ac483b9545a995adca65.tar.gz sail-riscv-c04cf29c2215ff614a83ac483b9545a995adca65.tar.bz2 |
Rename enable-fiom to enable-writable-fiom
This is a much clearer name because the option allows code to enable FIOM, it doesn't enable FIOM itself.
Diffstat (limited to 'model/riscv_sys_regs.sail')
-rw-r--r-- | model/riscv_sys_regs.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail index 77c9714..81a6c76 100644 --- a/model/riscv_sys_regs.sail +++ b/model/riscv_sys_regs.sail @@ -152,7 +152,7 @@ val sys_enable_zfinx = {c: "sys_enable_zfinx", ocaml: "Platform.enable_zfinx", _ val sys_enable_next = {c: "sys_enable_next", ocaml: "Platform.enable_next", _: "sys_enable_next"} : unit -> bool /* Whether FIOM bit of menvcfg/senvcfg is enabled. It must be enabled if supervisor mode is implemented and non-bare addressing modes are supported. */ -val sys_enable_fiom = {c: "sys_enable_fiom", ocaml: "Platform.enable_fiom", _: "sys_enable_fiom"} : unit -> bool +val sys_enable_writable_fiom = {c: "sys_enable_writable_fiom", ocaml: "Platform.enable_writable_fiom", _: "sys_enable_writable_fiom"} : unit -> bool /* This function allows an extension to veto a write to Misa if it would violate an alignment restriction on @@ -857,7 +857,7 @@ register senvcfg : Envcfg function legalize_envcfg(o : Envcfg, v : bits(64)) -> Envcfg = { let v = Mk_Envcfg(v); - let o = update_FIOM(o, if sys_enable_fiom() then v.FIOM() else 0b0); + let o = update_FIOM(o, if sys_enable_writable_fiom() then v.FIOM() else 0b0); // Other extensions are not implemented yet so all other fields are read only zero. o } |