Message ID | 20170714044033.15196-23-aserdean@cloudbasesolutions.com |
---|---|
State | Accepted |
Headers | show |
diff --git a/datapath-windows/ovsext/Event.c b/datapath-windows/ovsext/Event.c index 71fcd4b..348f032 100644 --- a/datapath-windows/ovsext/Event.c +++ b/datapath-windows/ovsext/Event.c @@ -60,6 +60,10 @@ OvsAcquireEventQueueLock(int eventId) NdisAcquireSpinLock(&eventQueueLockArr[eventId]); } +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, eventQueueLockArr[eventId]) +_Requires_lock_held_(eventQueueLockArr[eventId]) +_Releases_lock_(eventQueueLockArr[eventId]) static __inline VOID OvsReleaseEventQueueLock(int eventId) {
Add function annotations for ` OvsReleaseEventQueueLock`. We make it aware that it requires a certain dispatch level, that it restores the dispatch level, that it requires a lock held and releases a lock. Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com> --- datapath-windows/ovsext/Event.c | 4 ++++ 1 file changed, 4 insertions(+)