Messages in this thread | | | Date | Wed, 7 May 2014 21:07:14 +0200 | From | Ingo Molnar <> | Subject | Re: [tip:timers/nohz] nohz: Move full nohz kick to its own IPI |
| |
* Peter Zijlstra <peterz@infradead.org> wrote:
> 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..
Since tip:timers/nohz only contains these commits:
fc1781cc66b1 Merge branch 'timers/nohz-ipi-for-tip-v3' of git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks into timers/nohz 72aacf0259bb nohz: Move full nohz kick to its own IPI 55d77c215c74 smp: Non busy-waiting IPI queue
we can zap them all, or even keep 55d77c215c74.
Frederic, which one would you prefer?
Thanks,
Ingo
| |