From a02e52919de565fc3fba82723b48200fbf034ff9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 20 Sep 2017 15:38:14 +0100
Subject: add support for x86 lock prefix (also remove unused Read/Write_tag
 kind in etc/regfp.sail.

---
 etc/regfp.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'etc')

diff --git a/etc/regfp.sail b/etc/regfp.sail
index c0792df0..15d1a489 100644
--- a/etc/regfp.sail
+++ b/etc/regfp.sail
@@ -32,7 +32,6 @@ typedef diafp = const union {
 
 typedef read_kind = enumerate {
   Read_plain;
-  Read_tag;
   Read_reserve;
   Read_acquire;
   Read_exclusive;
@@ -43,11 +42,11 @@ typedef read_kind = enumerate {
   Read_RISCV_reserved;
   Read_RISCV_reserved_acquire;
   Read_RISCV_reserved_strong_acquire;
+  Read_X86_locked;
 }
 
 typedef write_kind = enumerate {
   Write_plain;
-  Write_tag;
   Write_conditional;
   Write_release;
   Write_exclusive;
@@ -57,6 +56,7 @@ typedef write_kind = enumerate {
   Write_RISCV_conditional;
   Write_RISCV_conditional_release;
   Write_RISCV_conditional_strong_release;
+  Write_X86_locked;
 }
 
 typedef barrier_kind = enumerate {
-- 
cgit v1.2.3