diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/regfp.sail | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/lib/regfp.sail b/lib/regfp.sail index 070ff524..e9c85ba8 100644 --- a/lib/regfp.sail +++ b/lib/regfp.sail @@ -73,6 +73,7 @@ enum a64_barrier_type = { A64_barrier_ST } +$ifdef AARCH64_SMALL union barrier_kind = { Barrier_Sync : unit, Barrier_LwSync : unit, @@ -95,6 +96,30 @@ union barrier_kind = { Barrier_RISCV_i : unit, Barrier_x86_MFENCE : unit } +$else +enum barrier_kind = { + Barrier_Sync, + Barrier_LwSync, + Barrier_Eieio, + Barrier_Isync, + Barrier_DMB, + Barrier_DSB, + Barrier_ISB, + Barrier_MIPS_SYNC, + Barrier_RISCV_rw_rw, + Barrier_RISCV_r_rw, + Barrier_RISCV_r_r, + Barrier_RISCV_rw_w, + Barrier_RISCV_w_w, + Barrier_RISCV_w_rw, + Barrier_RISCV_rw_r, + Barrier_RISCV_r_w, + Barrier_RISCV_w_r, + Barrier_RISCV_tso, + Barrier_RISCV_i, + Barrier_x86_MFENCE +} +$endif enum trans_kind = { Transaction_start, |