[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20091012002907.GA835@linux-mips.org>
Date: Mon, 12 Oct 2009 02:29:07 +0200
From: Ralf Baechle <ralf@...ux-mips.org>
To: Julia Lawall <julia@...u.dk>
Cc: Geert Uytterhoeven <geert.uytterhoeven@...il.com>,
linux-fbdev-devel@...ts.sourceforge.net,
linux-kernel@...r.kernel.org, kernel-janitors@...r.kernel.org,
linux-mips@...ux-mips.org
Subject: Re: [Linux-fbdev-devel] [PATCH 3/3] drivers/video: Correct use of
request_region/request_mem_region
On Sun, Aug 09, 2009 at 11:42:32AM +0200, Julia Lawall wrote:
> From: Julia Lawall <julia@...u.dk>
>
> request_region should be used with release_region, not request_mem_region.
>
> Geert Uytterhoeven pointed out that in the case of drivers/video/gbefb.c,
> the problem is actually the other way around; request_mem_region should be
> used instead of request_region.
>
> The semantic patch that finds/fixes this problem is as follows:
> (http://coccinelle.lip6.fr/)
>
> // <smpl>
> @r1@
> expression start;
> @@
>
> request_region(start,...)
>
> @b1@
> expression r1.start;
> @@
>
> request_mem_region(start,...)
>
> @depends on !b1@
> expression r1.start;
> expression E;
> @@
>
> - release_mem_region
> + release_region
> (start,E)
> // </smpl>
>
> Signed-off-by: Julia Lawall <julia@...u.dk>
Any reason this still hasn't been applied?
Ralf
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists