From 151fecfb72a0d602dfe79790602ef64b4e241574 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Mon, 19 Feb 2024 01:51:07 +0000
Subject: [PATCH] export RK_PA3

---
 kernel/tools/memory-model/lock.cat |    5 +----
 1 files changed, 1 insertions(+), 4 deletions(-)

diff --git a/kernel/tools/memory-model/lock.cat b/kernel/tools/memory-model/lock.cat
index 305ded1..6b52f36 100644
--- a/kernel/tools/memory-model/lock.cat
+++ b/kernel/tools/memory-model/lock.cat
@@ -6,15 +6,12 @@
 
 (*
  * Generate coherence orders and handle lock operations
- *
- * Warning: spin_is_locked() crashes herd7 versions strictly before 7.48.
- * spin_is_locked() is functional from herd7 version 7.49.
  *)
 
 include "cross.cat"
 
 (*
- * The lock-related events generated by herd are as follows:
+ * The lock-related events generated by herd7 are as follows:
  *
  * LKR		Lock-Read: the read part of a spin_lock() or successful
  *			spin_trylock() read-modify-write event pair

--
Gitblit v1.6.2