Message ID | 20170714044033.15196-13-aserdean@cloudbasesolutions.com |
---|---|
State | Accepted |
Headers | show |
diff --git a/datapath-windows/ovsext/Datapath.c b/datapath-windows/ovsext/Datapath.c index 6a170a0..732fcb0 100644 --- a/datapath-windows/ovsext/Datapath.c +++ b/datapath-windows/ovsext/Datapath.c @@ -429,6 +429,7 @@ OvsCleanup() } } +_Use_decl_annotations_ VOID OvsAcquireCtrlLock() { diff --git a/datapath-windows/ovsext/Datapath.h b/datapath-windows/ovsext/Datapath.h index 57b483a..86dd987 100644 --- a/datapath-windows/ovsext/Datapath.h +++ b/datapath-windows/ovsext/Datapath.h @@ -75,6 +75,9 @@ POVS_OPEN_INSTANCE OvsGetOpenInstance(PFILE_OBJECT fileObject, NTSTATUS OvsCompleteIrpRequest(PIRP irp, ULONG_PTR infoPtr, NTSTATUS status); +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, gOvsCtrlLock) +_Acquires_lock_(gOvsCtrlLock) VOID OvsAcquireCtrlLock(); VOID OvsReleaseCtrlLock();
Add annotations to the function `OvsAcquireCtrlLock`. We make it aware that it raises the dispatch level, where it saves the dispatch level and it acquires a lock. Signed-off-by: Alin Gabriel Serdean <aserdean@cloudbasesolutions.com> --- datapath-windows/ovsext/Datapath.c | 1 + datapath-windows/ovsext/Datapath.h | 3 +++ 2 files changed, 4 insertions(+)