datapath-windows: Add function annotations for OvsReleaseDatapath
The function should be aware that it requires a certain dispatch level,
restores the dispatch level, requires lock held and releases a lock.
This patch adds annotation for that.
Acked-by: Shashank Ram
@@ -210,6 +210,10 @@ OvsAcquireDatapathWrite(OVS_DATAPATH *datapath,
dispatch ? NDIS_RWL_AT_DISPATCH_LEVEL : 0);
}
+_IRQL_requires_(DISPATCH_LEVEL)
+_IRQL_restores_global_(OldIrql, lockState)
+_Requires_lock_held_(datapath->lock)
+_Releases_lock_(datapath->lock)
static __inline VOID
OvsReleaseDatapath(OVS_DATAPATH *datapath,
LOCK_STATE_EX *lockState)
