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

[Marc Zyngier]

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.

	M.

-- 
Without deviation from the norm, progress is not possible.