diff options
author | Julia Lawall <julia@diku.dk> | 2011-02-26 17:34:38 +0100 |
---|---|---|
committer | Wim Van Sebroeck <wim@iguana.be> | 2011-03-29 11:05:28 +0000 |
commit | f72401e94d159bc4b2beab51d74e956da2c32e0a (patch) | |
tree | 01fe1c1d8a43f71a36a2f12b2e9fa7769eadb550 /drivers/pps | |
parent | 89078d572eb9ce8d4c04264b8b0ba86de0d74c8f (diff) |
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>
Diffstat (limited to 'drivers/pps')
0 files changed, 0 insertions, 0 deletions