On Wed, 4 Sep 2013, Paul E. McKenney wrote: > Yep, still queued for 3.13, and I even redid the change in > rcu_is_cpu_idle() to be the way you wanted it. I wouldn't do that for > just anyone, you know! ;-) Well not everyone is so perfect as you are and has a tree for another version of the kernel ahead of time. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html