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 13:05:28 +0200 |
| commit | f72401e94d159bc4b2beab51d74e956da2c32e0a (patch) | |
| tree | 01fe1c1d8a43f71a36a2f12b2e9fa7769eadb550 /Documentation/mutex-design.txt | |
| parent | md: Fix integrity registration error when no devices are capable (diff) | |
| download | linux-f72401e94d159bc4b2beab51d74e956da2c32e0a.tar.xz linux-f72401e94d159bc4b2beab51d74e956da2c32e0a.zip | |
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 'Documentation/mutex-design.txt')
0 files changed, 0 insertions, 0 deletions