On Wed, 1 Aug 2018, Frederic Weisbecker wrote: > On Wed, Aug 01, 2018 at 07:46:10PM +0200, Thomas Gleixner wrote: > > In fact I should remove this whole paragraph, it's about code history that's > not relevant anymore and it confuses the whole explanation which should > concern nohz_full only.
Care to send an updated version? Thanks, tglx