On Mon, 2013-04-22 at 08:52 -0400, Rik van Riel wrote:
If the native spin_lock code has been called already at
that time, the native code would still need to be modified
to increment the ticket number by 2, so we end up with a
compatible value in each spin lock's .tickets field, and
prevent a deadlock after we switch over to the paravirt
variant.
I thought the stuff already made it upstream, but apparently not; the
lastest posting I'm aware of is here:
https://lkml.org/lkml/2012/5/2/105
That stuff changes the normal ticket increment as well..