Merge branch 'lkmm-for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmc...

Merge branch 'lkmm-for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into locking/urgent

Pull the "Linux kernel memory model" tooling implementation from Paul E. McKenney:

 'This pull request contains a single commit that adds a memory model to
  the tools directory.  This memory model can (roughly speaking) be thought
  of as an automated version of memory-barriers.txt.  It is written in the
  "cat" language, which is executable by the externally provided "herd7"
  simulator, which exhaustively explores the state space of small litmus
  tests.'

Signed-off-by: Ingo Molnar <mingo@kernel.org>
Acked-by: Peter Zijlstra <peterz@infradead.org>