Luis, On Thu, 17 Nov 2011, Luis Henriques wrote: > On Thu, Nov 17, 2011 at 11:25:56AM +0100, Thomas Gleixner wrote: > > Johannes came up with a different solution. Could you please give it a try? > > Again, I've run a quick test and it looks like this solves the issue. thanks for testing. That solution is way better than the local_lock based one. Thanks, tglx -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
