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

Paul E. McKenney posted 3 patches 1 year, 8 months ago
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(-)
[PATCH memory-model 0/3] LKMM updates for v6.11
Posted by Paul E. McKenney 1 year, 8 months ago
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(-)