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 <[email protected]> --- 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 _______________________________________________ dev mailing list [email protected] https://mail.openvswitch.org/mailman/listinfo/ovs-dev
