Re: [PATCH 1/3] drivers/mmc/host/mvsdio.c: Convert release_resource to release_mem_region

2011-03-22 Thread Nicolas Pitre
On Tue, 22 Mar 2011, Julia Lawall wrote: > Request_mem_region should be used with release_mem_region, not > release_resource. > > A semantic patch that partially fixes this problem is as follows: > (http://coccinelle.lip6.fr/) > > // > @b@ > expression x,E; > @@ > > x = request_mem_region(x->s

[PATCH 1/3] drivers/mmc/host/mvsdio.c: Convert release_resource to release_mem_region

2011-03-22 Thread Julia Lawall
Request_mem_region should be used with release_mem_region, not release_resource. A semantic patch that partially fixes this problem is as follows: (http://coccinelle.lip6.fr/) // @b@ expression x,E; @@ x = request_mem_region(x->start,...) ... when != release_mem_region(x->start,...) when !=