[PATCH 0/2] SRCU changes for the Linux Kernel Memory Model
Posted by
Alan Stern
2 years, 7 months ago
Paul et al.:
Here are the promised patches for the LKMM.
1/2: tools/memory-model: Update some warning labels
2/2: tools/memory-model: Provide exact SRCU semantics
Alan