diff options
| author | Alin Serdean <aserdean@cloudbasesolutions.com> | 2017-07-14 04:40:53 +0000 |
|---|---|---|
| committer | Ben Pfaff <blp@ovn.org> | 2017-08-02 11:27:28 -0700 |
| commit | 9f6573fe07dba5218ae1fa78c4d15b7f1620dac9 (patch) | |
| tree | bbfb0387a043a9c32ba8101a33ca87d88db5c19d /datapath-windows/ovsext/Datapath.h | |
| parent | 9264367cd5490b3503dba277e99b481777792396 (diff) | |
| download | openvswitch-9f6573fe07dba5218ae1fa78c4d15b7f1620dac9.tar.gz | |
datapath-windows: Add annotations for OvsAcquireCtrlLock
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>
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Shashank Ram <rams@vmware.com>
Diffstat (limited to 'datapath-windows/ovsext/Datapath.h')
| -rw-r--r-- | datapath-windows/ovsext/Datapath.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Datapath.h b/datapath-windows/ovsext/Datapath.h index 57b483a30..86dd98799 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(); |