Now that we've understood the issue that Pavel and Tim have reported, here's the new version of 24b91e360ef521a2808771633d76ebc68bd5604b that Linus reverted. I took extra care on CPU hotplug as well. Hopefully this time the fix doesn't introduce a new bug. The second patch should warn when such an issue arise.
Thanks. Frederic Weisbecker (2): nohz: Fix again collision between tick and other hrtimers tick: Make sure tick timer is active when bypassing reprogramming kernel/time/tick-sched.c | 28 ++++++++++++++++++++++++++-- kernel/time/tick-sched.h | 2 ++ 2 files changed, 28 insertions(+), 2 deletions(-) -- 2.7.4
