Message ID | 20170714044033.15196-22-aserdean@cloudbasesolutions.com |
---|---|
State | Accepted |
Headers | show |
diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c index cabfebf..71fcd4b 100644 --- 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) {
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/Event.c | 3 +++ 1 file changed, 3 insertions(+)