Show patches with: Series = Streamlining treatment of smp_mb__after_unlock_lock       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v2,2/2] tools/memory-model: Make ppo a subrelation of po Streamlining treatment of smp_mb__after_unlock_lock - - - --- 2023-01-26 Jonas Oberhauser New
[v2,1/2] tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po Streamlining treatment of smp_mb__after_unlock_lock - 1 - --- 2023-01-26 Jonas Oberhauser New