1. 2012-09-10 Re: [PATCH tip/core/rcu 10/26] rcu: Exit RCU extended linux-ker Frederic Weisbecke 2. 2012-09-06 Re: [PATCH tip/core/rcu 10/26] rcu: Exit RCU extended linux-ker Peter Zijlstra 3. 2012-08-31 Re: [PATCH tip/core/rcu 10/26] rcu: Exit RCU extended linux-ker Josh Triplett 4. 2012-08-30 [PATCH tip/core/rcu 10/26] rcu: Exit RCU extended QS linux-ker Paul E. McKenney