________________________________________
From: ovs-dev-boun...@openvswitch.org <ovs-dev-boun...@openvswitch.org> on
behalf of Alin Serdean <aserd...@cloudbasesolutions.com>
Sent: Thursday, July 13, 2017 9:40 PM
To: d...@openvswitch.org
Subject: [ovs-dev] [PATCH 15/40] 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 <aserd...@cloudbasesolutions.com>
---
datapath-windows/ovsext/Switch.h | 3 +++
1 file changed, 3 insertions(+)
diff --git a/datapath-windows/ovsext/Switch.h b/datapath-windows/ovsext/Switch.h
index 7c98621..d76c462 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,
--
2.10.2.windows.1
_______________________________________________
Acked-by: Shashank Ram <r...@vmware.com>
_______________________________________________
dev mailing list
d...@openvswitch.org
https://mail.openvswitch.org/mailman/listinfo/ovs-dev
