1. 2012-08-31 Re: [PATCH tip/core/rcu 12/26] x86: Use the new sched linux-ker Josh Triplett 2. 2012-08-30 [PATCH tip/core/rcu 12/26] x86: Use the new schedule_ linux-ker Paul E. McKenney