Re: [RCU]: preemptible RCU: sparse annotations

From: Paul E. McKenney
Date: Wed Jan 30 2008 - 18:25:43 EST


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@xxxxxxxxxxxxxxxxxx>

> Signed-off-by: Patrick McHardy <kaber@xxxxxxxxx>
>
> 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@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/