Re: [PATCH v2] sched/cputime: make scale_stime() more precise

From: Oleg Nesterov
Date: Thu May 21 2020 - 09:26:24 EST


On 05/20, Peter Zijlstra wrote:
>
> I had a another go; I ended up with this...

Oh, thanks Peter!

Oleg.