From: Ingo Molnar <mingo@kernel.org>
Date: Tue, 31 Jan 2017 06:45:42 +0000 (+0100)
Subject: Merge branch 'for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck... 
X-Git-Tag: v4.11-rc1~174^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a8709fa4a06d4af5f86e3660839531cbe0f2a19b;p=thirdparty%2Fkernel%2Flinux.git

Merge branch 'for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into core/rcu

Pull RCU changes from Paul E. McKenney:

 - Dynticks updates, consolidating open-coded counter accesses into a well-defined API

 - SRCU updates: Simplify algorithm, add formal verification

 - Documentation updates

 - Miscellaneous fixes

 - Torture-test updates

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

a8709fa4a06d4af5f86e3660839531cbe0f2a19b