diff options
| author | Alin Serdean <aserdean@cloudbasesolutions.com> | 2017-07-14 04:40:54 +0000 |
|---|---|---|
| committer | Ben Pfaff <blp@ovn.org> | 2017-08-02 11:28:28 -0700 |
| commit | 5635920bb4eaa94a4edae6547eb763de635b6d7e (patch) | |
| tree | 85c2b5a0ff01b71020e61a009a1958c3f1b1970f /datapath-windows/ovsext | |
| parent | 41d18c494a7b12bf235841e51cda7ac51c05ee66 (diff) | |
| download | openvswitch-5635920bb4eaa94a4edae6547eb763de635b6d7e.tar.gz | |
datapath-windows: Add function annotations for OvsReleaseDatapath
The function should be aware that it requires a certain dispatch level,
restores the dispatch level, requires lock held and releases a lock.
This patch adds annotation for that.
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')
| -rw-r--r-- | datapath-windows/ovsext/Switch.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Switch.h b/datapath-windows/ovsext/Switch.h index 5e856e25f..18a9ec6ad 100644 --- a/datapath-windows/ovsext/Switch.h +++ b/datapath-windows/ovsext/Switch.h @@ -210,6 +210,10 @@ OvsAcquireDatapathWrite(OVS_DATAPATH *datapath, dispatch ? NDIS_RWL_AT_DISPATCH_LEVEL : 0); } +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, lockState) +_Requires_lock_held_(datapath->lock) +_Releases_lock_(datapath->lock) static __inline VOID OvsReleaseDatapath(OVS_DATAPATH *datapath, LOCK_STATE_EX *lockState) |