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:21 -0700 |
| commit | f05dc2c26e8c98b48b8263e6e62879978b57cb8a (patch) | |
| tree | f75ffd10c41cc8afa80de0beb3d728ce4def6c60 /datapath-windows/ovsext | |
| parent | 7fba23033f2190c0282d5832d3ec786b7595cbdf (diff) | |
| download | openvswitch-f05dc2c26e8c98b48b8263e6e62879978b57cb8a.tar.gz | |
datapath-windows: Add function annotations for OvsAcquireEventQueueLock
The function should be aware that it raises the dispatch level, saves the
dispatch level and acquires a lock.
This patch adds annotation for that.
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 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c index cabfebfc8..71fcd4b3b 100644 --- a/datapath-windows/ovsext/Event.c +++ b/datapath-windows/ovsext/Event.c @@ -51,6 +51,9 @@ OvsCleanupEventQueue() } } +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, eventQueueLockArr[eventId]) +_Acquires_lock_(eventQueueLockArr[eventId]) static __inline VOID OvsAcquireEventQueueLock(int eventId) { |