From 8d24a0d871527e7f9e1d9c949ffb8ce5568d42e8 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Mon, 18 Aug 2014 14:41:46 +0100
Subject: tweak barrier kinds in interface (likely needs changes elsewhere)

---
 src/lem_interp/interp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index cbbbc091..ea06fa5d 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -120,7 +120,7 @@ let eenv = LEnv 1 []
 
 type read_kind = Read_plain | Read_reserve | Read_acquire
 type write_kind = Write_plain | Write_conditional | Write_release
-type barrier_kind = Plain | Sync | LwSync | Eieio | DMB | DMB_ST | DMB_LD | DSB | DSB_ST | DSB_LD
+type barrier_kind = Sync | LwSync | Eieio | Isync | DMB | DMB_ST | DMB_LD | DSB | DSB_ST | DSB_LD | ISB (* PS removed "plain" and added "Isync" and "ISB" *)
 
 (*top_level is a tuple of 
   (all definitions, letbound and enum values, register values, Typedef union constructors, sub register mappings, and register aliases) *)
-- 
cgit v1.2.3