From 8dbe18b8976e30fa88814542ea913ddc4193cd8b Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Sat, 22 Dec 2018 15:40:32 +0000
Subject: Added RISC-V fence.tso

---
 lib/regfp.sail | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/regfp.sail b/lib/regfp.sail
index fcf10850..cc017585 100644
--- a/lib/regfp.sail
+++ b/lib/regfp.sail
@@ -79,6 +79,7 @@ enum barrier_kind = {
   Barrier_RISCV_rw_r,
   Barrier_RISCV_r_w,
   Barrier_RISCV_w_r,
+  Barrier_RISCV_tso,
   Barrier_RISCV_i,
   Barrier_x86_MFENCE
 }
-- 
cgit v1.2.3