diff options
author | Pravin B Shelar <pshelar@nicira.com> | 2011-11-10 22:14:51 -0500 |
---|---|---|
committer | Jesse Gross <jesse@nicira.com> | 2011-12-03 12:35:07 -0500 |
commit | 86b1309c7e411b7c25dc0dc7a092582a4d291044 (patch) | |
tree | b2557cbe0441d1d762e87a56e105bff6581c13e9 /include/linux/genetlink.h | |
parent | 263ba61d3b19508dfb003c215ec5d23f882b4f87 (diff) |
genetlink: Add lockdep_genl_is_held().
Open vSwitch uses genl_mutex locking to protect datapath
data-structures like flow-table, flow-actions. Following patch adds
lockdep_genl_is_held() which is used for rcu annotation to prove
locking.
Signed-off-by: Pravin B Shelar <pshelar@nicira.com>
Signed-off-by: Jesse Gross <jesse@nicira.com>
Diffstat (limited to 'include/linux/genetlink.h')
-rw-r--r-- | include/linux/genetlink.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/linux/genetlink.h b/include/linux/genetlink.h index 61549b26ad6f..59311adfb0e0 100644 --- a/include/linux/genetlink.h +++ b/include/linux/genetlink.h | |||
@@ -85,6 +85,9 @@ enum { | |||
85 | /* All generic netlink requests are serialized by a global lock. */ | 85 | /* All generic netlink requests are serialized by a global lock. */ |
86 | extern void genl_lock(void); | 86 | extern void genl_lock(void); |
87 | extern void genl_unlock(void); | 87 | extern void genl_unlock(void); |
88 | #ifdef CONFIG_PROVE_LOCKING | ||
89 | extern int lockdep_genl_is_held(void); | ||
90 | #endif | ||
88 | 91 | ||
89 | #endif /* __KERNEL__ */ | 92 | #endif /* __KERNEL__ */ |
90 | 93 | ||