修改4g拨号为QMI,需要在系统里后台执行quectel-CM

hc

2024-10-22 8ac6c7a54ed1b98d142dce24b11c6de6a1e239a5

 kernel/tools/memory-model/litmus-tests/ISA2+pooncelock+pooncelock+pombonce.litmus
..
..
@@ -1,11 +1,10 @@
1
1
 C ISA2+pooncelock+pooncelock+pombonce
2
2
 
3
3
 (*
4
- * Result: Sometimes
4
+ * Result: Never
5
5
  *
6
- * This test shows that the ordering provided by a lock-protected S
7
- * litmus test (P0() and P1()) are not visible to external process P2().
8
- * This is likely to change soon.
6
+ * This test shows that write-write ordering provided by locks
7
+ * (in P0() and P1()) is visible to external process P2().
9
8
  *)
10
9
 
11
10
 {}