aboutsummaryrefslogtreecommitdiff
path: root/drivers/video/fbmon.c
diff options
context:
space:
mode:
authorJulia Lawall <julia@diku.dk>2008-02-06 01:39:07 -0800
committerLinus Torvalds <torvalds@woody.linux-foundation.org>2008-02-06 10:41:15 -0800
commitea237a6ae953b19d03f29236f095389d7906a0b4 (patch)
treefe72f63bd5342678b7cd4d59a2308300f34e7dfa /drivers/video/fbmon.c
parent5a1c84f1465a90192f55e21ccc67fd396c596374 (diff)
drivers/video: remove unnecessary pci_dev_put
pci_get_class implicitly does a pci_dev_put on its second argument, so pci_dev_put is only needed if there is a break out of the loop. The semantic match detecting this problem is as follows: // <smpl> @@ expression dev; expression E; @@ * pci_dev_put(dev) ... when != dev = E ( * pci_get_device(...,dev) | * pci_get_device_reverse(...,dev) | * pci_get_subsys(...,dev) | * pci_get_class(...,dev) ) // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Cc: Thomas Winischhofer <thomas@winischhofer.net> Cc: "Antonino A. Daplas" <adaplas@pol.net> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'drivers/video/fbmon.c')
0 files changed, 0 insertions, 0 deletions