Message ID | 20170714044033.15196-24-aserdean@cloudbasesolutions.com |
---|---|
State | Accepted |
Headers | show |
diff --git a/datapath-windows/ovsext/User.c b/datapath-windows/ovsext/User.c index d2ef4aa..3d4bebe 100644 --- a/datapath-windows/ovsext/User.c +++ b/datapath-windows/ovsext/User.c @@ -61,6 +61,10 @@ OvsAcquirePidHashLock() NdisAcquireSpinLock(&(gOvsSwitchContext->pidHashLock)); } +_IRQL_requires_(DISPATCH_LEVEL) +_IRQL_restores_global_(OldIrql, gOvsSwitchContext->pidHashLock) +_Requires_lock_held_(gOvsSwitchContext->pidHashLock) +_Releases_lock_(gOvsSwitchContext->pidHashLock) static __inline VOID OvsReleasePidHashLock() {
Add function annotations for ` OvsReleasePidHashLock`. 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/User.c | 4 ++++ 1 file changed, 4 insertions(+)