[GIT PULL] LKMM changes for v5.17

[Paul E. McKenney]

Hello, Linus,

Please pull the latest LKMM git tree from:

  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2022.01.09a
  # HEAD: c438b7d860b4c1acb4ebff6d8d946d593ca5fe1e tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering

LKMM changes for this cycle were documentation and litmus tests for
locking.

----------------------------------------------------------------
Boqun Feng (3):
      tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU
      tools/memory-model: doc: Describe the requirement of the litmus-tests directory
      tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering

 tools/memory-model/Documentation/explanation.txt   | 44 ++++++++++++----------
 tools/memory-model/README                          | 12 ++++++
 tools/memory-model/linux-kernel.cat                |  6 +--
 .../LB+unlocklockonceonce+poacquireonce.litmus     | 35 +++++++++++++++++
 .../MP+unlocklockonceonce+fencermbonceonce.litmus  | 33 ++++++++++++++++
 tools/memory-model/litmus-tests/README             |  8 ++++
 6 files changed, 116 insertions(+), 22 deletions(-)
 create mode 100644 tools/memory-model/litmus-tests/LB+unlocklockonceonce+poacquireonce.litmus
 create mode 100644 tools/memory-model/litmus-tests/MP+unlocklockonceonce+fencermbonceonce.litmus