| Message ID | 20170714044033.15196-14-aserdean@cloudbasesolutions.com |
|---|---|
| State | Accepted |
| Headers | show |
diff --git a/datapath-windows/ovsext/Datapath.c b/datapath-windows/ovsext/Datapath.c index 732fcb0..45aeed7 100644 --- a/datapath-windows/ovsext/Datapath.c +++ b/datapath-windows/ovsext/Datapath.c @@ -436,6 +436,7 @@ OvsAcquireCtrlLock() NdisAcquireSpinLock(gOvsCtrlLock); } +_Use_decl_annotations_ VOID OvsReleaseCtrlLock() { diff --git a/datapath-windows/ovsext/Datapath.h b/datapath-windows/ovsext/Datapath.h index 86dd987..4276826 100644 --- a/datapath-windows/ovsext/Datapath.h +++ b/datapath-windows/ovsext/Datapath.h @@ -79,6 +79,11 @@ _IRQL_raises_(DISPATCH_LEVEL) _IRQL_saves_global_(OldIrql, gOvsCtrlLock) _Acquires_lock_(gOvsCtrlLock) VOID OvsAcquireCtrlLock(); + +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, gOvsCtrlLock) +_Requires_lock_held_(gOvsCtrlLock) +_Releases_lock_(gOvsCtrlLock) VOID OvsReleaseCtrlLock(); /*
Add function annotations for `OvsReleaseCtrlLock`. We make it aware that it requires a certain dispatch level, that it restores the dispatch level, that it requires a lock held and release a lock. Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com> --- datapath-windows/ovsext/Datapath.c | 1 + datapath-windows/ovsext/Datapath.h | 5 +++++ 2 files changed, 6 insertions(+)