[PATCH] SRCU: add lock annotations to srcu_read_lock and srcu_read_unlock

[Josh Triplett <josht@us.ibm.com>]

Add an __acquires annotation to srcu_read_lock, and add a __releases
annotation to srcu_read_unlock.  This allows static analysis tools to
detect improperly paired calls to these functions.

Signed-off-by: Josh Triplett <josh@freedesktop.org>
---
 include/linux/srcu.h |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/linux/srcu.h b/include/linux/srcu.h
index a950d26..aca0eee 100644
--- a/include/linux/srcu.h
+++ b/include/linux/srcu.h
@@ -45,8 +45,8 @@ #endif /* #else #ifndef CONFIG_PREEMPT *
 
 int init_srcu_struct(struct srcu_struct *sp);
 void cleanup_srcu_struct(struct srcu_struct *sp);
-int srcu_read_lock(struct srcu_struct *sp);
-void srcu_read_unlock(struct srcu_struct *sp, int idx);
+int srcu_read_lock(struct srcu_struct *sp) __acquires(sp);
+void srcu_read_unlock(struct srcu_struct *sp, int idx) __releases(sp);
 void synchronize_srcu(struct srcu_struct *sp);
 long srcu_batches_completed(struct srcu_struct *sp);
 


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/