AX88772C_eeprom and ax8872c build together

hc

2024-05-16 8d2a02b24d66aa359e83eebc1ed3c0f85367a1cb

 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