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:04 -0700 |
commit | 3e6d3fe13bdd81feed3a92ee828c611984a7d46b (patch) | |
tree | f62811f2eac97f16ea55cd86025cff933abf230e /datapath-windows/ovsext/Switch.h | |
parent | 9330795b9790240873afe61d2ddbf9f1e2dfb2d7 (diff) | |
download | openvswitch-3e6d3fe13bdd81feed3a92ee828c611984a7d46b.tar.gz |
datapath-windows: Add function annotations for OvsAcquireDatapathRead
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/ovsext/Switch.h')
-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 7c9862183..d76c462f2 100644 --- a/datapath-windows/ovsext/Switch.h +++ b/datapath-windows/ovsext/Switch.h @@ -184,6 +184,9 @@ typedef struct _OVS_SWITCH_CONTEXT } OVS_SWITCH_CONTEXT, *POVS_SWITCH_CONTEXT; +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, lockState) +_Acquires_lock_(datapath->lock) static __inline VOID OvsAcquireDatapathRead(OVS_DATAPATH *datapath, LOCK_STATE_EX *lockState, |