diff options
| author | Shaked Flur | 2017-08-19 10:34:04 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-19 10:34:04 +0100 |
| commit | 9a26a0440f4d3c63ea19976c44cd39edb8149b2a (patch) | |
| tree | c3e94a92f5be5cf07663beed773b72b4a60597b6 /etc | |
| parent | d5fe6885da9758a8924929547e40dd72e7333428 (diff) | |
RISC-V store-release
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index c98e3fa4..71f53547 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -50,6 +50,9 @@ typedef write_kind = enumerate { Write_release; Write_exclusive; Write_exclusive_release; + Write_RISCV_release; + Write_RISCV_conditional; + Write_RISCV_conditional_release; } typedef barrier_kind = enumerate { |