// 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)