Merge branch 'rcu/nohz' of...

Merge branch 'rcu/nohz' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu

 into timers/nohz

Pull full dynticks documentation update from Paul McKenney.

Signed-off-by: Ingo Molnar <mingo@kernel.org>