| 0031e38adf38 ("tools/memory-model: Add data-race detection") |
| d1a84ab19013 ("tools/memory-model: Add definitions of plain and marked accesses") |
| 4494dd58fbb4 ("tools/memory-model: Prepare for data-race detection") |
| 9393998e9ee0 ("tools/memory-model: Dynamically check SRCU lock-to-unlock matching") |
| a3f600d92da5 ("tools/memory-model: Add SRCU support") |
| 284749b0aebb ("tools/memory-model: Refactor some RCU relations") |
| 0172d9e32203 ("tools/memory-model: Rename some RCU relations") |
| 5b735eb1ce48 ("tools/memory-model: Model smp_mb__after_unlock_lock()") |
| 6e89e831a901 ("tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire") |
