datapath-windows: Add function annotations for OvsAcquireDatapathWrite
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.
Acked-by: Shashank Ram
@@ -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,
