3 files changed, 2 insertions, 27 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,
diff --git a/lib/rts.c b/lib/rts.c
index 57abbc3c..edae3965 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -333,7 +333,7 @@ bool platform_excl_res(const unit unit)
     return true;
 }
 
-unit platform_barrier(const int barrier_kind)
+unit platform_barrier()
 {
     return UNIT;
 }
diff --git a/lib/rts.h b/lib/rts.h
index 2c0722a6..68d01cb5 100644
--- a/lib/rts.h
+++ b/lib/rts.h
@@ -86,7 +86,7 @@ bool platform_write_mem(const int write_kind,
                         const mpz_t n,
                         const lbits data);
 bool platform_excl_res(const unit unit);
-unit platform_barrier(const int barrier_kind);
+unit platform_barrier();