// Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU.  GPLv2.

@@
expression dev;
expression E;
@@

* pci_dev_put(dev)
   ... when != dev = E
* pci_get_device(...,dev)