diff options
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) { |