diff options
Diffstat (limited to 'datapath-windows/ovsext/User.c')
| -rw-r--r-- | datapath-windows/ovsext/User.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/User.c b/datapath-windows/ovsext/User.c index 3d4bebe9d..4693a8b55 100644 --- a/datapath-windows/ovsext/User.c +++ b/datapath-windows/ovsext/User.c @@ -55,6 +55,9 @@ extern NL_POLICY nlFlowTunnelKeyPolicy[]; extern UINT32 nlFlowTunnelKeyPolicyLen; DRIVER_CANCEL OvsCancelIrpDatapath; +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, gOvsSwitchContext->pidHashLock) +_Acquires_lock_(gOvsSwitchContext->pidHashLock) static __inline VOID OvsAcquirePidHashLock() { |