[GIT PULL] LKMM changes for v6.15

Hello, Linus,

When the v6.15 merge window opens, please pull this LKMM update from:

  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu tags/lkmm.2025.03.21a
  # HEAD: a2bfbf847c96196d62c9a59bd32e1fdafd1c205c: tools/memory-model: glossary.txt: Fix indents (2025-02-25 10:22:34 -0800)

----------------------------------------------------------------
lkmm: Add more atomic operations, rework tags, and update documentation

Changes
-------

* Adds additional atomic operations (Puranjay Mohan)
* Makes better use of herd7 tags (Jonas Oberhauser)
* Updates documentation (Akira Yokosawa)

These changes require v7.58 of the herd7 and klitmus tools, up from v7.52.

----------------------------------------------------------------
Akira Yokosawa (2):
      tools/memory-model/README: Fix typo
      tools/memory-model: glossary.txt: Fix indents

Jonas Oberhauser (5):
      tools/memory-model: Legitimize current use of tags in LKMM macros
      tools/memory-model: Define applicable tags on operation in tools/...
      tools/memory-model: Define effect of Mb tags on RMWs in tools/...
      tools/memory-model: Switch to softcoded herd7 tags
      tools/memory-model: Distinguish between syntactic and semantic tags

Puranjay Mohan (2):
      tools/memory-model: Add atomic_and()/or()/xor() and add_negative
      tools/memory-model: Add atomic_andnot() with its variants

 tools/memory-model/Documentation/glossary.txt      |  32 ++--
 .../Documentation/herd-representation.txt          |  49 +++---
 tools/memory-model/README                          |   4 +-
 tools/memory-model/linux-kernel.bell               |  33 ++--
 tools/memory-model/linux-kernel.cat                |  10 ++
 tools/memory-model/linux-kernel.cfg                |   1 +
 tools/memory-model/linux-kernel.def                | 169 ++++++++++++---------
 7 files changed, 178 insertions(+), 120 deletions(-)