Re: [PATCH 3/5] irqchip/bcm2836: Make IPIs use handle_percpu_devid_irq()

[Guenter Roeck]

On Fri, Dec 18, 2020 at 06:40:57PM +0000, Marc Zyngier wrote:
> On Fri, 18 Dec 2020 05:18:31 +0000,
> Guenter Roeck <linux@xxxxxxxxxxxx> wrote:
> 
> > Any news on this? I now see the problem in mainline.
> 
> I have just queued the fix:
> 
> https://git.kernel.org/pub/scm/linux/kernel/git/maz/arm-platforms.git/commit/?h=irq/irqchip-next&id=d7f39c40ebb6986e7371510d1c20a4efee4a7f0d
> 
> Thanks for you help in reproducing this.

Thanks a lot for the fix!

Guenter