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.