From 9a26a0440f4d3c63ea19976c44cd39edb8149b2a Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Sat, 19 Aug 2017 10:34:04 +0100
Subject: RISC-V store-release

---
 etc/regfp.sail | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'etc')

diff --git a/etc/regfp.sail b/etc/regfp.sail
index c98e3fa4..71f53547 100644
--- a/etc/regfp.sail
+++ b/etc/regfp.sail
@@ -50,6 +50,9 @@ typedef write_kind = enumerate {
   Write_release;
   Write_exclusive;
   Write_exclusive_release;
+  Write_RISCV_release;
+  Write_RISCV_conditional;
+  Write_RISCV_conditional_release;
 }
 
 typedef barrier_kind = enumerate {
-- 
cgit v1.2.3