diff options
author | Pravin B Shelar <pshelar@nicira.com> | 2011-11-10 19:14:51 -0800 |
---|---|---|
committer | Jesse Gross <jesse@nicira.com> | 2011-12-03 09:35:07 -0800 |
commit | 86b1309c7e411b7c25dc0dc7a092582a4d291044 (patch) | |
tree | b2557cbe0441d1d762e87a56e105bff6581c13e9 /include | |
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')
-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 { /* All generic netlink requests are serialized by a global lock. */ extern void genl_lock(void); extern void genl_unlock(void); +#ifdef CONFIG_PROVE_LOCKING +extern int lockdep_genl_is_held(void); +#endif #endif /* __KERNEL__ */ |