On Mon, May 12, 2014 at 04:48:51PM +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 patches ARM 7872/1 > and 7887/1. Applied (with some clean-up of the commit log). Thanks. -- Catalin