Thomas, On Thu, Jun 30, 2016 at 03:43:34PM +0200, Thomas Gleixner wrote: > Patch below should fix the issue - the timer one, not yours :)
This patch also fixes the occasionally delayed timers I reported on the [email protected] list. Thanks, Richard
Thomas, On Thu, Jun 30, 2016 at 03:43:34PM +0200, Thomas Gleixner wrote: > Patch below should fix the issue - the timer one, not yours :)
This patch also fixes the occasionally delayed timers I reported on the [email protected] list. Thanks, Richard