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 <[email protected]>
---
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);