Re: [GIT PULL] timers/nohz changes for v3.12

2013-09-03 Thread Ingo Molnar
* Geert Uytterhoeven wrote: > On Tue, Sep 3, 2013 at 4:13 PM, Ingo Molnar wrote: > > Please pull the latest timers-nohz-for-linus git tree from: > > > >git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git > > timers-nohz-for-linus > > > >HEAD: c2e7fcf53c3cb02b4ada1c66a9bc8a4d97d58

Re: [GIT PULL] timers/nohz changes for v3.12

2013-09-03 Thread Geert Uytterhoeven
On Tue, Sep 3, 2013 at 4:13 PM, Ingo Molnar wrote: > Please pull the latest timers-nohz-for-linus git tree from: > >git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git > timers-nohz-for-linus > >HEAD: c2e7fcf53c3cb02b4ada1c66a9bc8a4d97d58aba nohz: Include local CPU in > full dyntic

[GIT PULL] timers/nohz changes for v3.12

2013-09-03 Thread Ingo Molnar
Linus, Please pull the latest timers-nohz-for-linus git tree from: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git timers-nohz-for-linus HEAD: c2e7fcf53c3cb02b4ada1c66a9bc8a4d97d58aba nohz: Include local CPU in full dynticks global kick It mostly contains fixes and full dyntic