Message ID | 20170714044033.15196-16-aserdean@cloudbasesolutions.com |
---|---|
State | Accepted |
Headers | show |
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,
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 <aserdean@cloudbasesolutions.com> --- datapath-windows/ovsext/Switch.h | 3 +++ 1 file changed, 3 insertions(+)