summaryrefslogtreecommitdiff
path: root/datapath-windows/ovsext/Datapath.c
diff options
context:
space:
mode:
authorAlin Serdean <aserdean@cloudbasesolutions.com>2017-07-14 04:40:54 +0000
committerBen Pfaff <blp@ovn.org>2017-08-02 11:27:39 -0700
commit3cbbcb1ba61134030c994eb7f545e90736625f33 (patch)
tree5711684f871e0f1ae30f8cbdb7a98e3342966812 /datapath-windows/ovsext/Datapath.c
parent9f6573fe07dba5218ae1fa78c4d15b7f1620dac9 (diff)
downloadopenvswitch-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/ovsext/Datapath.c')
-rw-r--r--datapath-windows/ovsext/Datapath.c1
1 files changed, 1 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()
{