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:19 -0700 |
commit | 41d18c494a7b12bf235841e51cda7ac51c05ee66 (patch) | |
tree | 098a3aa323b40d14367de2b5f032df384f48774f /datapath-windows | |
parent | 3e6d3fe13bdd81feed3a92ee828c611984a7d46b (diff) | |
download | openvswitch-41d18c494a7b12bf235841e51cda7ac51c05ee66.tar.gz |
datapath-windows: Add function annotations for OvsAcquireDatapathWrite
The function should be aware that it raises the dispatch level, saves the
dispatch level and acquires 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')
-rw-r--r-- | datapath-windows/ovsext/Switch.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Switch.h b/datapath-windows/ovsext/Switch.h index d76c462f2..5e856e25f 100644 --- a/datapath-windows/ovsext/Switch.h +++ b/datapath-windows/ovsext/Switch.h @@ -197,6 +197,9 @@ OvsAcquireDatapathRead(OVS_DATAPATH *datapath, dispatch ? NDIS_RWL_AT_DISPATCH_LEVEL : 0); } +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, lockState) +_Acquires_lock_(datapath->lock) static __inline VOID OvsAcquireDatapathWrite(OVS_DATAPATH *datapath, LOCK_STATE_EX *lockState, |