Re: [BUG nohz]: wrong user and system time accounting

From: Frederic Weisbecker
Date: Thu Jun 29 2017 - 13:22:37 EST

On Mon, May 15, 2017 at 04:17:10PM +0800, Wanpeng Li wrote:
> Ping,

Sorry for the late answer, I was focused on some other bugs.

So since my ideas weren't even clear on that issue yet, I took your
patch and enhanced the code around. I just posted a new series
with it, please have a look.

Thanks.