On Sat, Oct 04, 2014 at 06:45:08AM +0800, GP Orcullo wrote:
> On Sat, Oct 4, 2014 at 3:14 AM, Gilles Chanteperdrix
> <[email protected]> wrote:
> > On Fri, Oct 03, 2014 at 11:28:52PM +0800, GP Orcullo wrote:
> >> I've added BUG_ON(!hard_irqs_disabled()) to the code and got the
> >> kernel to oops at startup.
> >>
> >> Where shall I start looking for the offending code?
> >
> > The thing is, all the tracepoints you have are late after the
> > fault. A better strategy is to replace BUG_ON(!hard_irqs_disabled)
> > with:
> >
> > if (!hard_irqs_disabled()) {
> > ipipe_trace_panic_freeze();
> > ipipe_trace_panic_dump();
> > BUG();
> > }
> >
>
> The results are almost similar.
>
> [ 15.550769] Unable to handle kernel NULL pointer dereference at virtual
> address 0000000c
This is not caused by the code above. This is another bug.
With the code above, you should see a line
"BUG" or something.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
