Re: [PATCH -next] arch/x86: Return value from notify_die should to be checked.

[Peter Zijlstra]

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.chartre@xxxxxxxxxx> 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.