datapath-windows: Add function annotations for OvsAcquireEventQueueLock

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>
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Shashank Ram <rams@vmware.com>

diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c
index cabfebfc8697a4e8d0af9d56ebe9f64f7ecf2916..71fcd4b3bc00cdd418511882b2f41aea33f5987e 100644 (file)
--- a/datapath-windows/ovsext/Event.c
+++ b/datapath-windows/ovsext/Event.c
@@ -51,6 +51,9 @@ OvsCleanupEventQueue()
     }
 }
 
+_IRQL_raises_(DISPATCH_LEVEL)
+_IRQL_saves_global_(OldIrql, eventQueueLockArr[eventId])
+_Acquires_lock_(eventQueueLockArr[eventId])
 static __inline VOID
 OvsAcquireEventQueueLock(int eventId)
 {