On Mon, May 05, 2014 at 09:48:27PM +0100, Larry Bassel wrote: > Support for arch_irq_work_raise() was missing from > arm64 (a prerequisite for FULL_NOHZ). > > This patch is based on the arm32 patch ARM 7872/1 > which ports cleanly. [...] > +#ifdef CONFIG_IRQ_WORK > +void arch_irq_work_raise(void) > +{ > + smp_cross_call(cpumask_of(smp_processor_id()), IPI_IRQ_WORK); > +} > +#endif
There was a subsequent patch adding is_smp() check here (c682e51dbc98 ARM: 7887/1: Don't smp_cross_call() on UP devices in arch_irq_work_raise()). Don't we need it? -- Catalin -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/