[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <4BFE7199.7060609@redhat.com>
Date: Thu, 27 May 2010 16:20:25 +0300
From: Avi Kivity <avi@...hat.com>
To: Julia Lawall <julia@...u.dk>
CC: Marcelo Tosatti <mtosatti@...hat.com>,
Xiantao Zhang <xiantao.zhang@...el.com>,
Tony Luck <tony.luck@...el.com>,
Fenghua Yu <fenghua.yu@...el.com>, kvm@...r.kernel.org,
kvm-ia64@...r.kernel.org, linux-ia64@...r.kernel.org,
linux-kernel@...r.kernel.org, kernel-janitors@...r.kernel.org
Subject: Re: [PATCH 10/17] arch/ia64/kvm: Add missing spin_unlock
On 05/26/2010 06:57 PM, Julia Lawall wrote:
> From: Julia Lawall<julia@...u.dk>
>
> Add a spin_unlock missing on the error path.
>
> The semantic match that finds this problem is as follows:
> (http://coccinelle.lip6.fr/)
>
> //<smpl>
> @@
> expression E1;
> @@
>
> * spin_lock(E1,...);
> <+... when != E1
> if (...) {
> ... when != E1
> * return ...;
> }
> ...+>
> * spin_unlock(E1,...);
> //</smpl>
>
>
Applied, thanks.
--
error compiling committee.c: too many arguments to function
--
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