diff options
| author | Shaked Flur | 2017-08-17 13:41:21 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-17 13:41:21 +0100 |
| commit | cc46b5a2366cd73d34117590448f6779fac4d312 (patch) | |
| tree | 7a5cad41c3cfb46fcf2b9b3a57a2cb2e1bbe2adb /etc | |
| parent | c6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff) | |
added RISC-V load-acquire
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index fb15310a..c98e3fa4 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -37,7 +37,10 @@ typedef read_kind = enumerate { Read_acquire; Read_exclusive; Read_exclusive_acquire; - Read_stream + Read_stream; + Read_RISCV_acquire; + Read_RISCV_reserved; + Read_RISCV_reserved_acquire; } typedef write_kind = enumerate { @@ -62,6 +65,9 @@ typedef barrier_kind = enumerate { Barrier_DSB_LD; Barrier_ISB; Barrier_MIPS_SYNC; + Barrier_RISCV_rw_rw; + Barrier_RISCV_r_rw; + Barrier_RISCV_rw_w; } typedef trans_kind = enumerate { |