diff options
author | Alin Serdean <aserdean@cloudbasesolutions.com> | 2017-07-14 04:40:55 +0000 |
---|---|---|
committer | Ben Pfaff <blp@ovn.org> | 2017-08-02 11:29:33 -0700 |
commit | 7dcfa473bfb663b5df18452459e9be3aade1894b (patch) | |
tree | a392521c0cb1e373f38dc7634efa6a4848ab5ce8 /datapath-windows/ovsext | |
parent | f05dc2c26e8c98b48b8263e6e62879978b57cb8a (diff) | |
download | openvswitch-7dcfa473bfb663b5df18452459e9be3aade1894b.tar.gz |
datapath-windows: Add annotations for OvsReleaseEventQueueLock
Add function annotations for ` OvsReleaseEventQueueLock`.
We make it aware that it requires a certain dispatch level, that it
restores the dispatch level, that it requires a lock held and releases
a lock.
Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com>
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Shashank Ram <rams@vmware.com>
Diffstat (limited to 'datapath-windows/ovsext')
-rw-r--r-- | datapath-windows/ovsext/Event.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c index 71fcd4b3b..348f03222 100644 --- a/datapath-windows/ovsext/Event.c +++ b/datapath-windows/ovsext/Event.c @@ -60,6 +60,10 @@ OvsAcquireEventQueueLock(int eventId) NdisAcquireSpinLock(&eventQueueLockArr[eventId]); } +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, eventQueueLockArr[eventId]) +_Requires_lock_held_(eventQueueLockArr[eventId]) +_Releases_lock_(eventQueueLockArr[eventId]) static __inline VOID OvsReleaseEventQueueLock(int eventId) { |