From f0187396b0a77623a726590ff0a22a1db20d7ba4 Mon Sep 17 00:00:00 2001 From: Alin Serdean Date: Fri, 14 Jul 2017 04:40:55 +0000 Subject: datapath-windows: Add annotations for OvsAcquirePidHashLock Add annotations to the function ` OvsAcquirePidHashLock`. 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 Signed-off-by: Ben Pfaff Acked-by: Shashank Ram --- datapath-windows/ovsext/User.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'datapath-windows/ovsext/User.c') diff --git a/datapath-windows/ovsext/User.c b/datapath-windows/ovsext/User.c index 3d4bebe9d..4693a8b55 100644 --- a/datapath-windows/ovsext/User.c +++ b/datapath-windows/ovsext/User.c @@ -55,6 +55,9 @@ extern NL_POLICY nlFlowTunnelKeyPolicy[]; extern UINT32 nlFlowTunnelKeyPolicyLen; DRIVER_CANCEL OvsCancelIrpDatapath; +_IRQL_raises_(DISPATCH_LEVEL) +_IRQL_saves_global_(OldIrql, gOvsSwitchContext->pidHashLock) +_Acquires_lock_(gOvsSwitchContext->pidHashLock) static __inline VOID OvsAcquirePidHashLock() { -- cgit v1.2.1