From 83adaea79d0ae53ff898985fdd359fbca7773de3 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 21 Sep 2017 09:51:41 +0100
Subject: added a comment to the x86 lock'd read and write

---
 src/lem_interp/sail_impl_base.lem | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem
index e39c4421..6957bb95 100644
--- a/src/lem_interp/sail_impl_base.lem
+++ b/src/lem_interp/sail_impl_base.lem
@@ -441,7 +441,8 @@ type read_kind =
   | Read_RISCV_acquire  | Read_RISCV_strong_acquire
   | Read_RISCV_reserved | Read_RISCV_reserved_acquire
   | Read_RISCV_reserved_strong_acquire
-  | Read_X86_locked
+  (* x86 reads *)
+  | Read_X86_locked (* the read part of a lock'd instruction (rmw) *)
 
 instance (Show read_kind)
   let show = function
@@ -471,7 +472,8 @@ type write_kind =
   | Write_RISCV_release     | Write_RISCV_strong_release
   | Write_RISCV_conditional | Write_RISCV_conditional_release
   | Write_RISCV_conditional_strong_release
-  | Write_X86_locked
+  (* x86 writes *)
+  | Write_X86_locked (* the write part of a lock'd instruction (rmw) *)
 
 instance (Show write_kind)
   let show = function
-- 
cgit v1.2.3