projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35d4890) | patch
drivers/net/ariadne.c: Convert release_resource to release_region/release_mem_region
authorJulia Lawall <julia@diku.dk>
Tue, 22 Mar 2011 07:15:21 +0000 (07:15 +0000)
committerDavid S. Miller <davem@davemloft.net>
Wed, 23 Mar 2011 21:10:36 +0000 (14:10 -0700)
commit88e87be6ba528bd73522ecf0468fe32f1ee199e6
tree067a74277788f507679184b9902c4dc127f0be72tree | snapshot
parent35d48903e9781975e823b359ee85c257c9ff5c1ccommit | diff
drivers/net/ariadne.c: Convert release_resource to release_region/release_mem_region

Request_mem_region should be used with release_mem_region, not
release_resource.

The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)

// <smpl>
@@
expression x,E;
@@
*x = request_mem_region(...)
... when != release_mem_region(x)
    when != x = E
* release_resource(x);
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: David S. Miller <davem@davemloft.net>
drivers/net/ariadne.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git