1. 2012-08-31 Re: [PATCH tip/core/rcu 06/26] rcu: Ignore userspace linux-ker Josh Triplett 2. 2012-08-30 [PATCH tip/core/rcu 06/26] rcu: Ignore userspace exte linux-ker Paul E. McKenney