Re: [PATCH] sched/deadline: Fix missing clock update

From: Peter Zijlstra
Date: Thu May 31 2018 - 03:48:41 EST


On Wed, May 30, 2018 at 06:08:09PM +0200, Juri Lelli wrote:
> A missing clock update is causing the below warning:

Thanks!