diff options
author | Julia Lawall <julia@diku.dk> | 2007-12-14 02:56:07 +0300 |
---|---|---|
committer | Paul Mackerras <paulus@samba.org> | 2007-12-20 09:13:50 +0300 |
commit | bd4c2edc90c020ba5573da5dbd796fd6ab78692b (patch) | |
tree | 61605555b670b0a4e2d6d0da0c8b2c6a1bbb54f5 | |
parent | ca55f0570304dd625370f85097fec81dd5a92090 (diff) | |
download | linux-bd4c2edc90c020ba5573da5dbd796fd6ab78692b.tar.xz |
[POWERPC] arch/ppc: Remove an unnecessary pci_dev_put
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: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Paul Mackerras <paulus@samba.org>
-rw-r--r-- | arch/ppc/platforms/prep_pci.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/ppc/platforms/prep_pci.c b/arch/ppc/platforms/prep_pci.c index 1df3150f016e..8ed433e2a5c7 100644 --- a/arch/ppc/platforms/prep_pci.c +++ b/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, |