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:29:51 -0700 |
| commit | cfc854f0bad5ee0181146545e4c64a045cf20a51 (patch) | |
| tree | 53fc16cc0264b782a8a2ae3d282abbbd1a750416 /datapath-windows/ovsext/User.c | |
| parent | 7dcfa473bfb663b5df18452459e9be3aade1894b (diff) | |
| download | openvswitch-cfc854f0bad5ee0181146545e4c64a045cf20a51.tar.gz | |
datapath-windows: Add annotations for OvsReleasePidHashLock
Add function annotations for ` OvsReleasePidHashLock`.
We make it aware that it requires a certain dispatch level, that it
restores the dispatch level, that it requires a lock held and releases
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 | 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() { |