> > hm, that looks weird. if you disable CONFIG_PROVE_LOCKING, does that
> > improve things? (or just turns a noisy lockup into a silent lockup?)
>
> Not much, although the dumps look different now:
>
http://logfs.org/~joern/trace3.jpg
>
http://logfs.org/~joern/trace4.jpg
>
> I have to change my qemu setup a little to see the top of those
> dumps...