On Mon, Aug 1, 2016 at 5:04 AM, Matt Fleming <[email protected]> wrote: > > On Sun, 24 Jul, at 10:27:49AM, SF Markus Elfring wrote: > > From: Markus Elfring <[email protected]> > > Date: Sun, 24 Jul 2016 10:16:56 +0200 > > > > The dma_pool_destroy() function tests whether its argument is NULL > > and then returns immediately. Thus the test around the call is not needed. > > > > This issue was detected by using the Coccinelle software. > > > > Signed-off-by: Markus Elfring <[email protected]> > > --- > > drivers/firmware/google/gsmi.c | 3 +-- > > 1 file changed, 1 insertion(+), 2 deletions(-) > > Looks fine to me. If Mike doesn't pick this up I'll take it through > the EFI tree.
Yes please do.

