a bug on NO_HZ_FULL_ALL

[Frederic Weisbecker]

On Thu, Nov 14, 2013 at 12:08:46PM +0000, Russell King - ARM Linux wrote:
> 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.

Great, thanks!