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: > > 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 <leitao@xxxxxxxxxx>", if pertinent. Thanks for the quick fix, --breno
