[tip:locking/core] tools/memory-model: Model 'smp_store_mb()'

2018-05-15 Thread tip-bot for Andrea Parri
Commit-ID: bf8c6d963d16d40fbe70e94b61d9bf18c455fc6b Gitweb: https://git.kernel.org/tip/bf8c6d963d16d40fbe70e94b61d9bf18c455fc6b Author: Andrea Parri AuthorDate: Mon, 14 May 2018 16:33:45 -0700 Committer: Ingo Molnar CommitDate: Tue,

[tip:locking/core] tools/memory-model: Model 'smp_store_mb()'

2018-05-15 Thread tip-bot for Andrea Parri
Commit-ID: bf8c6d963d16d40fbe70e94b61d9bf18c455fc6b Gitweb: https://git.kernel.org/tip/bf8c6d963d16d40fbe70e94b61d9bf18c455fc6b Author: Andrea Parri AuthorDate: Mon, 14 May 2018 16:33:45 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:16 +0200 tools/memory-model: Model