On 22 June 2014 19:06, Thomas Gleixner <tglx@linutronix.de> wrote:> On Sun, 22 Jun 2014, Frederic Weisbecker wrote:>> + wake_up_nohz_cpu(base->cpu_base->cpu);>> The timer is queued on new_base not on base.Oops, thanks for spotting this bug. Will be fixed in next version.