diff options
| author | Alin Serdean <aserdean@cloudbasesolutions.com> | 2017-07-14 04:40:55 +0000 |
|---|---|---|
| committer | Ben Pfaff <blp@ovn.org> | 2017-08-02 11:30:02 -0700 |
| commit | f0187396b0a77623a726590ff0a22a1db20d7ba4 (patch) | |
| tree | ef37076534e60a7a42eb2a2583d50c18fbee0c44 /datapath-windows/ovsext/User.c | |
| parent | cfc854f0bad5ee0181146545e4c64a045cf20a51 (diff) | |
| download | openvswitch-f0187396b0a77623a726590ff0a22a1db20d7ba4.tar.gz | |
datapath-windows: Add annotations for OvsAcquirePidHashLock
Add annotations to the function ` OvsAcquirePidHashLock`.
We make it aware that it raises the dispatch level, where it saves the
dispatch level and it acquires a lock.
Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com>
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Shashank Ram <rams@vmware.com>
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() { |