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();
}
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
