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.