diff mbox

[ovs-dev,23/40] datapath-windows: Add annotations for OvsReleasePidHashLock

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

Commit Message

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

diff mbox

Patch

diff --git a/datapath-windows/ovsext/User.c b/datapath-windows/ovsext/User.c
index d2ef4aa..3d4bebe 100644
--- a/datapath-windows/ovsext/User.c
+++ b/datapath-windows/ovsext/User.c
@@ -61,6 +61,10 @@  OvsAcquirePidHashLock()
     NdisAcquireSpinLock(&(gOvsSwitchContext->pidHashLock));
 }

+_IRQL_requires_(DISPATCH_LEVEL)
+_IRQL_restores_global_(OldIrql, gOvsSwitchContext->pidHashLock)
+_Requires_lock_held_(gOvsSwitchContext->pidHashLock)
+_Releases_lock_(gOvsSwitchContext->pidHashLock)
 static __inline VOID
 OvsReleasePidHashLock()
 {