On Mon, Jun 22, 2020 at 5:46 PM Peter Zijlstra <pet...@infradead.org> wrote:
>
> On Mon, Jun 22, 2020 at 11:17:51AM +0200, Boris Petkov wrote:
> > On June 22, 2020 10:52:23 AM GMT+02:00, Alexandre Chartre 
> > <alexandre.char...@oracle.com> wrote:
> > > So the appropriate change to make Coverity happy
> >
> > Or we can stop "fixing" the kernel in order to shut up tools and not do 
> > anything.
>
> Agreed, no change required here.
Ok, thanks for everyone.

Reply via email to