[PATCH tip/core/rcu 0/3] Documentation updates for 4.2

["Paul E. McKenney" <paulmck@linux.vnet.ibm.com>]

Hello!

This series provides a few documentation updates:

1.	Fix description of smp_mb__before_spinlock() semantics, courtesy
	of Will Deacon.

2.	Add another caveat to the list regarding the care and feeding
	of pointers returned by rcu_derefence().  You cannot let the
	compiler know too much.

3.	Explicitly state that each instance of rcu_dereference() will
	reload the pointer, courtesy of Milos Vyletel.

							Thanx, Paul

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

 b/Documentation/RCU/rcu_dereference.txt |    5 +++++
 b/Documentation/RCU/whatisRCU.txt       |    4 +++-
 b/Documentation/memory-barriers.txt     |    7 +++----
 b/include/linux/spinlock.h              |    2 +-
 4 files changed, 12 insertions(+), 6 deletions(-)