On 2016-07-08 19:52, z...@svn.reactos.org wrote:
> --- branches/GSoC_2016/lwIP-tcpip/drivers/network/tcpip/address.c     
> [iso-8859-1] (original)
> +++ branches/GSoC_2016/lwIP-tcpip/drivers/network/tcpip/address.c     
> [iso-8859-1] Fri Jul  8 17:52:42 2016
> @@ -33,6 +33,8 @@
>  static LIST_ENTRY AddressListHead;
>  
>  /* implementation in testing */
> +/* Must already hold the Context->RequestListLock */
> +/* Context should be in ->FileObject->FsContext */

You know there is a way to actually tell that to MSVC's static
analyzer, right? ;)
You want something like
_IRQL_requires_(DISPATCH_LEVEL)
_IRQL_requires_same_
_Requires_lock_held_(((PTCP_CONTEXT)IrpSp->FileObject->FsContext)->RequestListLock)

The last one might be a little too complicated to actually include, but
the IRQL ones are easy to help indicate things like this.

>  NTSTATUS
>  PrepareIrpForCancel(
>       PIRP Irp,


_______________________________________________
Ros-dev mailing list
Ros-dev@reactos.org
http://www.reactos.org/mailman/listinfo/ros-dev

Reply via email to