export RK_PA3

hc

2024-02-19 151fecfb72a0d602dfe79790602ef64b4e241574

 kernel/tools/memory-model/lock.cat
..
..
@@ -6,15 +6,12 @@
6
6
 
7
7
 (*
8
8
  * Generate coherence orders and handle lock operations
9
- *
10
- * Warning: spin_is_locked() crashes herd7 versions strictly before 7.48.
11
- * spin_is_locked() is functional from herd7 version 7.49.
12
9
  *)
13
10
 
14
11
 include "cross.cat"
15
12
 
16
13
 (*
17
- * The lock-related events generated by herd are as follows:
14
+ * The lock-related events generated by herd7 are as follows:
18
15
  *
19
16
  * LKR		Lock-Read: the read part of a spin_lock() or successful
20
17
  *			spin_trylock() read-modify-write event pair