[PATCH 0/2] timer: Fix missing dynticks kick

2014-06-12 Thread Frederic Weisbecker
Thomas, Viresh has spotted and fixed an interesting issue. When a timer list is enqueued or updated on a (idle or full) dynticks target, we kick it with an IPI. At least that's what we do on add_timer_on() but the mod_timer*() family doesn't handle that. I think that's because we had assumptions

[PATCH 0/2] timer: Fix missing dynticks kick

2014-06-12 Thread Frederic Weisbecker
Thomas, Viresh has spotted and fixed an interesting issue. When a timer list is enqueued or updated on a (idle or full) dynticks target, we kick it with an IPI. At least that's what we do on add_timer_on() but the mod_timer*() family doesn't handle that. I think that's because we had assumptions