[tip:locking/core] tools/memory-model: Add model support for spin_is_locked()

Commit-ID: 15553dcbca0638de57047e79b9fb4ea77aa04db3 Gitweb: https://git.kernel.org/tip/15553dcbca0638de57047e79b9fb4ea77aa04db3 Author: Luc Maranget AuthorDate: Mon, 14 May 2018 16:33:48 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018

[tip:locking/core] tools/memory-model: Add model support for spin_is_locked()

Commit-ID: 15553dcbca0638de57047e79b9fb4ea77aa04db3 Gitweb: https://git.kernel.org/tip/15553dcbca0638de57047e79b9fb4ea77aa04db3 Author: Luc Maranget AuthorDate: Mon, 14 May 2018 16:33:48 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:17 +0200 tools/memory-model: Add