From: Julia Lawall <julia@diku.dk>

Remove an unnecessary pci_dev_put.  pci_dev_put is called implicitly by the
subsequent call to pci_get_device.

The problem was detected using the following semantic patch, and corrected by
hand.

@@
expression dev;
expression E;
@@

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

Signed-off-by: Julia Lawall <julia@diku.dk>
Cc: Paul Mackerras <paulus@samba.org>
Cc: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
---

 arch/ppc/platforms/prep_pci.c |    1 -
 1 file changed, 1 deletion(-)

diff -puN arch/ppc/platforms/prep_pci.c~arch-ppc-remove-an-unnecessary-pci_dev_put arch/ppc/platforms/prep_pci.c
--- a/arch/ppc/platforms/prep_pci.c~arch-ppc-remove-an-unnecessary-pci_dev_put
+++ a/arch/ppc/platforms/prep_pci.c
@@ -1099,7 +1099,6 @@ prep_pib_init(void)
 				pci_write_config_byte(dev, 0x43, reg);
 			}
 		}
-		pci_dev_put(dev);
 	}
 
 	if ((dev = pci_get_device(PCI_VENDOR_ID_WINBOND,
_