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 d76c462..5e856e2 100644 --- a/datapath-windows/ovsext/Switch.h +++ b/datapath-windows/ovsext/Switch.h @@ -197,6 +197,9 @@ OvsAcquireDatapathRead(OVS_DATAPATH *datapath, dispatch ? NDIS_RWL_AT_DISPATCH_LEVEL : 0); } +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, lockState) +_Acquires_lock_(datapath->lock) static __inline VOID OvsAcquireDatapathWrite(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
