Flavio de Castro Alves Filho wrote:
> In fact,
>
> The problem is not really related to the other timer, I believe.
>
> Before the timer with irq 22 is called, another irq is called by
> __ipipe_grab_irq(): the irq number 12 (IRQ_DA8XX_CCERRINT).
>
> Now I'm looking for the place there this irq number is passed.
>
> And thank you for this important information about the timers.
I think your problem really is that irq22 uses handle_edge_irq, somehow.
Could you check whether this is the case, for instance by putting a
printk in the __ipipe_ack_edge_irq function, file kernel/irq/chip.c ?
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
