diff options
| author | Peter Sewell | 2014-08-18 14:41:46 +0100 |
|---|---|---|
| committer | Peter Sewell | 2014-08-18 14:41:46 +0100 |
| commit | 8d24a0d871527e7f9e1d9c949ffb8ce5568d42e8 (patch) | |
| tree | 1058d52af4d64615cc2e5e8c979cc1e3014dbb7b | |
| parent | 3f010fcc79828bfe5d470d313d030be53613e79c (diff) | |
tweak barrier kinds in interface (likely needs changes elsewhere)
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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) *) |