Re: [PATCH 2/2] drivers/ide/cy82c693.c: Add missing pci_dev_put

[David Miller]

From: Julia Lawall <julia@xxxxxxx>
Date: Thu, 28 Jul 2011 18:26:47 +0200

> From: Julia Lawall <julia@xxxxxxx>
> 
> Pci_get_slot calls pci_dev_get, so pci_dev_put is needed before leaving the
> function in the case where pci_get_slot is locally used.
> 
> The semantic match that finds this problem is as follows:
> (http://coccinelle.lip6.fr/)
...
> Signed-off-by: Julia Lawall <julia@xxxxxxx>

Applied, thanks!
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/