diff options
Diffstat (limited to 'datapath-windows/ovsext/User.c')
-rw-r--r-- | datapath-windows/ovsext/User.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/User.c b/datapath-windows/ovsext/User.c index d2ef4aa2b..3d4bebe9d 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() { |