summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/lock.cat
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Fix coding style in 'lock.cat'Andrea Parri2018-05-151-14/+14
* tools/memory-model: Remove out-of-date comments and code from lock.catAlan Stern2018-05-151-9/+6
* tools/memory-model: Improve mixed-access checking in lock.catAlan Stern2018-05-151-11/+11
* tools/memory-model: Improve comments in lock.catAlan Stern2018-05-151-15/+36
* tools/memory-model: Remove duplicated code from lock.catAlan Stern2018-05-151-22/+6
* tools/memory-model: Add model support for spin_is_locked()Luc Maranget2018-05-151-4/+49
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-241-0/+99