diff options
| author | Alin Serdean <aserdean@cloudbasesolutions.com> | 2017-07-14 04:40:54 +0000 |
|---|---|---|
| committer | Ben Pfaff <blp@ovn.org> | 2017-08-02 11:27:39 -0700 |
| commit | 3cbbcb1ba61134030c994eb7f545e90736625f33 (patch) | |
| tree | 5711684f871e0f1ae30f8cbdb7a98e3342966812 /datapath-windows/ovsext/Datapath.h | |
| parent | 9f6573fe07dba5218ae1fa78c4d15b7f1620dac9 (diff) | |
| download | openvswitch-3cbbcb1ba61134030c994eb7f545e90736625f33.tar.gz | |
datapath-windows: Add annotations for 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>
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 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/datapath-windows/ovsext/Datapath.h b/datapath-windows/ovsext/Datapath.h index 86dd98799..427682627 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(); /* |