4 Jun
2014
4 Jun
'14
1:44 p.m.
On 4 June 2014 18:53, Frederic Weisbecker fweisbec@gmail.com wrote:
Right, if we enqueue a timer when the tick is stopped, we call wake_up_nohz_cpu().
Ahh, I looked at __mod_timer() :)
BTW, shouldn't we do something similar for mod_timer_pinned() as well ?