CONFIG_PROVE_LOCKING broken on 83xx (and all of powerpc?)

Ira W. Snyder iws at
Thu Sep 9 12:52:14 EST 2010

On Thu, Sep 09, 2010 at 11:02:36AM +1000, Benjamin Herrenschmidt wrote:
> On Wed, 2010-09-08 at 16:21 -0700, Ira W. Snyder wrote:
> > 
> > 
> > I am happy to provide more information if it will help. I'm not
> > especially
> > good at working the debugger. I can't get it to stop at machine_init()
> > and let
> > me step through the code.
> > 
> > I tried this feature when it first became available on powerpc, and it
> > did not work then. At that time, I didn't have the resources to
> > investigate further. I don't think a git bisect will help in this
> > case.
> That's a concern... lockdep_init() is expected to only perform static
> initializations...

Yes, I looked over the function, and I don't understand where it goes

> Any chance you can stick a data breakpoint early on to catch when the
> corruption happens ?

I will attempt to get the debugger to stop at start_kernel. I'm having
trouble driving the JTAG debugger (a BDI2000). I have used Denx's guide
[1] in the past, but the section on debugging the kernel itself is now


I'll keep trying.

Thanks for the reply,

More information about the Linuxppc-dev mailing list