watchdog: s3c2410_wdt.c: Convert release_resource to release_region/release_mem_region
authorJulia Lawall <julia@diku.dk>
Sat, 26 Feb 2011 16:34:38 +0000 (17:34 +0100)
committerWim Van Sebroeck <wim@iguana.be>
Tue, 29 Mar 2011 11:05:28 +0000 (11:05 +0000)
commitf72401e94d159bc4b2beab51d74e956da2c32e0a
tree01fe1c1d8a43f71a36a2f12b2e9fa7769eadb550
parent89078d572eb9ce8d4c04264b8b0ba86de0d74c8f
watchdog: s3c2410_wdt.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: Wim Van Sebroeck <wim@iguana.be>
Cc: stable <stable@kernel.org>
drivers/watchdog/s3c2410_wdt.c