diff mbox

[ovs-dev,22/40] datapath-windows: Add annotations for OvsReleaseEventQueueLock

Message ID BY2PR0501MB2119CD1C7F355020314CF0EDA2AD0@BY2PR0501MB2119.namprd05.prod.outlook.com
State Not Applicable
Headers show

Commit Message

Shashank Ram July 14, 2017, 5:06 p.m. UTC

diff mbox

Patch

diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c
index 71fcd4b..348f032 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)
 {