On Fri, 09 May 2014 16:18:00 +0200 Mike Galbraith <umgwanakikbuti@xxxxxxxxx> wrote: > No, I had done the right thing in the first patch, as confirmed by what > landed in 12-rt. The lock ain't "shared" is why I whacked it. You saw > what happened to my confidence in that logic when Steven spoke. Eek :) I was confused because the patch didn't apply to my tree :-) -- Steve -- 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