Flavio de Castro Alves Filho wrote:
> Hello Gilles,
> 
> Unfortunately the patch didn't help... :-(
> 
> But ... adding more traces on the code, I can see the irq number when the
> function __ipipe_grab_irq() is called.
> 
> When everything works fine, the irq number is 21 (IRQ_DA8XX_TINT12_0).
> 
> And, sometime, the irq number starts to be 22 (IRQ_DA8XX_TINT34_0). It is
> the other timer present at the processor. I believe that, somehow, the
> information about the timer (at least, the interrupt location) has been
> changed by some code.
> 
> I will investigate more, according to these observations. I accept
> suggestions :-)

Are you sure you recompiled the kernel ? This other timer's irq seems to
be the one for which the handle_edge_irq handler is used, which could
really cause a lockup.

Anyway, the reason why this other timer is used is probably because
clockevent decided it had a better score. But that should not cause a
lockup, unless handle_edge_irq is used.

So, you are probably better off using that timer for xenomai too. If you
do not want that, you will have to give a higher score to the timer you
want Linux to use.

-- 
                                            Gilles.

_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help

Reply via email to