diff options
Diffstat (limited to 'lib/regfp.sail')
| -rw-r--r-- | lib/regfp.sail | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lib/regfp.sail b/lib/regfp.sail index 8576b36c..070ff524 100644 --- a/lib/regfp.sail +++ b/lib/regfp.sail @@ -60,7 +60,6 @@ enum write_kind = { Write_X86_locked } -$ifdef AARCH64_SMALL enum a64_barrier_domain = { A64_FullShare, A64_InnerShare, @@ -96,30 +95,6 @@ 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, |