Author: Julia Lawall <julia@diku.dk> pci_get_device does a pci_dev_get, so pci_dev_put needs to be called in an error case The problem was fixed using the following semantic patch. (http://www.emn.fr/x-info/coccinelle/) // @exists@ type T1,T2; identifier E; statement S,S1; expression x1,x2,x3; expression test; int ret != 0; @@ struct pci_dev *E; … ( E = \(pci_get_slot\|pci_get_device\|pci_get_bus_and_slot\)(…); if (E …