[Xenomai] [PATCH] ipipe: gicv3: [v3] Enable interrupt pipelining.

[Dmitriy Cherkasov]

On 10/12/2017 11:16 AM, Christoph Müllner wrote:

> That was my first attempt, but that ends up in a hang during bootup.
> I suspect that the .irq_hold() callback must not call ipipe_lock_irq().
> And since I added that call to gic_mask_irq(), I cannot call .irq_mask().
> 
> Note, that this code equals also the GICv2 implementation in drivers/irqchip/irq-gic.c
> (where I got the idea for the pipeline_lock() macros in [v2] from).
> 
> Thanks,
> Christoph
> 
> 

Yes, that's correct - lock/unlock definitely should not be called from hold/release.

This looks ok to me. Thanks!