diff options
| author | Julia Lawall <[email protected]> | 2007-12-13 15:56:07 -0800 |
|---|---|---|
| committer | Paul Mackerras <[email protected]> | 2007-12-20 17:13:50 +1100 |
| commit | bd4c2edc90c020ba5573da5dbd796fd6ab78692b (patch) | |
| tree | 61605555b670b0a4e2d6d0da0c8b2c6a1bbb54f5 /include/linux | |
| parent | ca55f0570304dd625370f85097fec81dd5a92090 (diff) | |
[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 <[email protected]>
Cc: Benjamin Herrenschmidt <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Paul Mackerras <[email protected]>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions