Re: [PATCH 2/2] drivers/ide/cy82c693.c: Add missing pci_dev_put
From: David Miller <davem@davemloft.net>
Date: 2011-08-04 08:30:55
Also in:
linux-ide, lkml
From: Julia Lawall <redacted> Date: Thu, 28 Jul 2011 18:26:47 +0200
From: Julia Lawall <redacted> 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 <redacted>
Applied, thanks!