[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20080130232528.GA18206@linux.vnet.ibm.com>
Date: Wed, 30 Jan 2008 15:25:28 -0800
From: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
To: Patrick McHardy <kaber@...sh.net>
Cc: dipankar@...ibm.com,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>
Subject: Re: [RCU]: preemptible RCU: sparse annotations
On Wed, Jan 30, 2008 at 08:44:42PM +0100, Patrick McHardy wrote:
> Annotate rcu_read_lock/rcu_read_unlock for sparse.
>
>
> [RCU]: preemptible RCU: sparse annotations
Acked-by: Paul E. McKenney <paulmck@...ux.vnet.ibm.com>
> Signed-off-by: Patrick McHardy <kaber@...sh.net>
>
> diff --git a/include/linux/rcupreempt.h b/include/linux/rcupreempt.h
> index ece8eb3..60c2a03 100644
> --- a/include/linux/rcupreempt.h
> +++ b/include/linux/rcupreempt.h
> @@ -46,8 +46,8 @@
> #define rcu_bh_qsctr_inc(cpu)
> #define call_rcu_bh(head, rcu) call_rcu(head, rcu)
>
> -extern void __rcu_read_lock(void);
> -extern void __rcu_read_unlock(void);
> +extern void __rcu_read_lock(void) __acquires(RCU);
> +extern void __rcu_read_unlock(void) __releases(RCU);
> extern int rcu_pending(int cpu);
> extern int rcu_needs_cpu(int cpu);
>
--
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