add new barrier kind for MIPS (only one for now).

1 files changed, 2 insertions, 1 deletions

diff --git a/etc/regfp.sail b/etc/regfp.sail
index dcd38f76..3c90c269 100644
--- a/etc/regfp.sail
+++ b/etc/regfp.sail
@@ -61,6 +61,7 @@ typedef barrier_kind = enumerate {
   Barrier_DSB_ST;
   Barrier_DSB_LD;
   Barrier_ISB;
+  Barrier_MIPS_SYNC;
 }
 
 typedef instruction_kind = const union {
@@ -69,4 +70,4 @@ typedef instruction_kind = const union {
   (write_kind) IK_mem_write;
   IK_cond_branch;
   IK_simple
-}
\ No newline at end of file
+}