diff mbox

[ovs-dev,13/40] datapath-windows: Add annotations for OvsReleaseCtrlLock

Message ID BY2PR0501MB2119B74481D5C2745AFC3B37A2AD0@BY2PR0501MB2119.namprd05.prod.outlook.com
State Not Applicable
Headers show

Commit Message

Shashank Ram July 14, 2017, 4:59 p.m. UTC
diff mbox

Patch

diff --git a/datapath-windows/ovsext/Datapath.c b/datapath-windows/ovsext/Datapath.c
index 732fcb0..45aeed7 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 86dd987..4276826 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();

 /*