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:27:39 -0700 |
commit | 3cbbcb1ba61134030c994eb7f545e90736625f33 (patch) | |
tree | 5711684f871e0f1ae30f8cbdb7a98e3342966812 /datapath-windows | |
parent | 9f6573fe07dba5218ae1fa78c4d15b7f1620dac9 (diff) | |
download | openvswitch-3cbbcb1ba61134030c994eb7f545e90736625f33.tar.gz |
datapath-windows: Add annotations for OvsReleaseCtrlLock
Add function annotations for `OvsReleaseCtrlLock`.
We make it aware that it requires a certain dispatch level, that it
restores the dispatch level, that it requires a lock held and release
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')
-rw-r--r-- | datapath-windows/ovsext/Datapath.c | 1 | ||||
-rw-r--r-- | datapath-windows/ovsext/Datapath.h | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Datapath.c b/datapath-windows/ovsext/Datapath.c index e1c16c1e6..c68da5155 100644 --- a/datapath-windows/ovsext/Datapath.c +++ b/datapath-windows/ovsext/Datapath.c @@ -436,6 +436,7 @@ OvsAcquireCtrlLock() NdisAcquireSpinLock(gOvsCtrlLock); } +_Use_decl_annotations_ VOID OvsReleaseCtrlLock() { diff --git a/datapath-windows/ovsext/Datapath.h b/datapath-windows/ovsext/Datapath.h index 86dd98799..427682627 100644 --- a/datapath-windows/ovsext/Datapath.h +++ b/datapath-windows/ovsext/Datapath.h @@ -79,6 +79,11 @@ _IRQL_raises_(DISPATCH_LEVEL) _IRQL_saves_global_(OldIrql, gOvsCtrlLock) _Acquires_lock_(gOvsCtrlLock) VOID OvsAcquireCtrlLock(); + +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, gOvsCtrlLock) +_Requires_lock_held_(gOvsCtrlLock) +_Releases_lock_(gOvsCtrlLock) VOID OvsReleaseCtrlLock(); /* |