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.
Acked-by: Shashank Ram
@@ -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,
