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

[Paul E. McKenney]

Hello!

This series provides LKMM updates:

1.	locking/memory-barriers.txt: Improve documentation for writel()
	example, courtesy of Parav Pandit.

2.	memory-model: Add rmw-sequences to the LKMM, courtesy of Alan
	Stern.

3.	Documentation: Fixed a typo in atomic_t.txt, courtesy of
	Kushagra Verma.

4.	memory-model: Make plain accesses carry dependencies, courtesy
	of Jonas Oberhauser.

						Thanx, Paul

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

 b/Documentation/atomic_t.txt                       |    2 -
 b/Documentation/memory-barriers.txt                |   22 +++++++-------
 b/tools/memory-model/Documentation/explanation.txt |   30 ++++++++++++++++++++
 b/tools/memory-model/linux-kernel.bell             |    6 ++++
 b/tools/memory-model/linux-kernel.cat              |    5 ++-
 b/tools/memory-model/litmus-tests/dep+plain.litmus |   31 +++++++++++++++++++++
 tools/memory-model/Documentation/explanation.txt   |    9 +++++-
 7 files changed, 90 insertions(+), 15 deletions(-)