On Thu, Nov 14, 2013 at 12:53:15PM +0100, Frederic Weisbecker wrote: > BTW, support for ARM's full dynticks is uncomplete without > "[PATCH] ARM: Support arch_irq_work_raise() via self IPIs" > > ...which I'm not sure is applied upstream, or even any ARM tree yet. It's in mainline as of last night, along with a fix to the above patch.