On Wed, Oct 14, 2020 at 04:42:09PM +0530, Sumit Garg wrote: > Allocate an unused IPI that can be turned as NMI using ipi_nmi framework. > Also, invoke corresponding NMI setup/teardown APIs. > > Signed-off-by: Sumit Garg <sumit.g...@linaro.org> > --- > arch/arm64/kernel/smp.c | 8 ++++++++ > 1 file changed, 8 insertions(+) > > diff --git a/arch/arm64/kernel/smp.c b/arch/arm64/kernel/smp.c > index 82e75fc..129ebfb 100644 > --- a/arch/arm64/kernel/smp.c > +++ b/arch/arm64/kernel/smp.c > @@ -43,6 +43,7 @@ > #include <asm/daifflags.h> > #include <asm/kvm_mmu.h> > #include <asm/mmu_context.h> > +#include <asm/nmi.h> > #include <asm/numa.h> > #include <asm/processor.h> > #include <asm/smp_plat.h> > @@ -962,6 +963,8 @@ static void ipi_setup(int cpu) > > for (i = 0; i < nr_ipi; i++) > enable_percpu_irq(ipi_irq_base + i, 0); > + > + ipi_nmi_setup(cpu); > } > > #ifdef CONFIG_HOTPLUG_CPU > @@ -974,6 +977,8 @@ static void ipi_teardown(int cpu) > > for (i = 0; i < nr_ipi; i++) > disable_percpu_irq(ipi_irq_base + i); > + > + ipi_nmi_teardown(cpu); > } > #endif > > @@ -995,6 +1000,9 @@ void __init set_smp_ipi_range(int ipi_base, int n) > irq_set_status_flags(ipi_base + i, IRQ_HIDDEN); > } > > + if (n > nr_ipi) > + set_smp_ipi_nmi(ipi_base + nr_ipi); > + > ipi_irq_base = ipi_base; > > /* Setup the boot CPU immediately */ > --
Looks good to me. Please feel free to add: Reviewed-by: Masayoshi Mizuma <m.miz...@jp.fujitsu.com> Thanks! Masa _______________________________________________ Kgdb-bugreport mailing list Kgdb-bugreport@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/kgdb-bugreport