________________________________________
From: [email protected] <[email protected]> on
behalf of Alin Serdean <[email protected]>
Sent: Thursday, July 13, 2017 9:40 PM
To: [email protected]
Subject: [ovs-dev] [PATCH 13/40] 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 <[email protected]>
---
datapath-windows/ovsext/Datapath.c | 1 +
datapath-windows/ovsext/Datapath.h | 5 +++++
2 files changed, 6 insertions(+)
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();
/*
--
2.10.2.windows.1
_______________________________________________
Acked-by: Shashank Ram <[email protected]>
_______________________________________________
dev mailing list
[email protected]
https://mail.openvswitch.org/mailman/listinfo/ovs-dev
