Hello Lorenzo,

On Tue, Jul 15, 2025 at 06:07:48PM +0200, Lorenzo Pieralisi wrote:

On Tue, Jul 15, 2025 at 04:34:24PM +0200, Lorenzo Pieralisi wrote:

quoted

Thank you for reporting it.

Does this patch below fix it ?

FWIW it does for me. I think you are booting with pseudo-nmi enabled and

the below is a silly thinko (mea culpa) that is causing the IPI IRQ descs not
to be set-up correctly for NMI and the prepare_percpu_nmi() call rightly
screams on them.

Thanks for the quick reply. I don't see that warning anymore once this
patch is applied, so, the patch fixes the warning.

Regarding NMI, you are correct, I am using `CONFIG_ARM64_PSEUDO_NMI=y`
and `irqchip.gicv3_pseudo_nmi=1`

If you confirm I hope it can be folded into the relevant patch.

Feel free to add "Tested-by: Breno Leitao [off-list ref]", if
pertinent.

Thanks for the quick fix,
--breno