summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Add model support for spin_is_locked()Luc Maranget2018-05-151-0/+34