1. 2012-08-31 Re: [PATCH tip/core/rcu 12/26] x86: Use the new schedule_user API on use linux-kernel Josh Triplett 2. 2012-08-30 [PATCH tip/core/rcu 12/26] x86: Use the new schedule_user API on userspa linux-kernel Paul E. McKenney