Re: [tip:timers/nohz] nohz: Move full nohz kick to its own IPI

[Peter Zijlstra]

On Wed, May 07, 2014 at 06:05:08PM +0200, Frederic Weisbecker wrote:
> So we can as well zap these commits and replace them with the irq_work_on()
> conversion (still preparing that).

I hear you, but I think Ingo doesn't want to rebase the tree because its
public, but maybe he can make an exception..

pgpU5_2JxsSqd.pgp
Description: PGP signature