[PATCH memory-model 0/3] LKMM updates for v6.11

From: Paul E. McKenney
Date: Tue Jun 04 2024 - 18:14:48 EST


Hello!

This series adds a few atomic operations and some documentation:

1. tools/memory-model: Add atomic_and()/or()/xor() and add_negative,
courtesy of Puranjay Mohan.

2. tools/memory-model: Add atomic_andnot() with its variants,
courtesy of Puranjay Mohan.

3. tools/memory-model: Add KCSAN LF mentorship session citation.

Thanx, Paul

------------------------------------------------------------------------

b/tools/memory-model/Documentation/access-marking.txt | 10 ++++++--
b/tools/memory-model/linux-kernel.def | 21 ++++++++++++++++++
tools/memory-model/linux-kernel.def | 6 +++++
3 files changed, 34 insertions(+), 3 deletions(-)