fxrequest.cpp File Reference

#include "coreprivshared.hpp"

Include dependency graph for fxrequest.cpp:

Go to the source code of this file.

Functions
VOID	FX_VF_METHOD (FxRequest, VerifyCompleteInternal)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals
	PAGED_CODE_LOCKED ()
	if (GetDriverGlobals() ->FxVerifierIO)
	if ((m_VerifierFlags &FXREQUEST_FLAG_DRIVER_CANCELABLE) &&(m_VerifierFlags &FXREQUEST_FLAG_CANCELLED)==0x0)
	switch (m_Irp.GetMajorFunction())
	if (validateLength &&NT_SUCCESS(Status) &&m_Irp.GetInformation() > length)
	Unlock (irql)
VOID	FX_VF_METHOD (FxRequest, VerifyPreProcessSendAndForget)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyInsertIrpQueue)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals
	if (m_IrpQueue !=NULL)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyProbeAndLock)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyStopAcknowledge)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals
	if (!NT_SUCCESS(status))
	if (m_Completed==FALSE &&Requeue)
VOID	FX_VF_METHOD (FxRequest, VerifierBreakpoint_RequestEarlyDisposeDeferred)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsDriverOwned)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsCancelable)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsNotCancelable)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsInCallerContext)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsInEvtIoStopContext)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsNotCompleted)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsTagRequest)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsAllocatedFromIo)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestIsCurrentStackValid)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)
_Must_inspect_result_ NTSTATUS	FX_VF_METHOD (FxRequest, VerifyRequestCanBeCompleted)(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals)

Variables
VOID _In_ NTSTATUS	Status
ULONG	length = 0
KIRQL	irql
BOOLEAN	validateLength = FALSE
	else
	m_Completed = TRUE
_Must_inspect_result_ NTSTATUS _In_ FxIrpQueue *	IrpQueue
	status = VerifyRequestIsNotCompleted(FxDriverGlobals)
Done	__pad0__
_Must_inspect_result_ NTSTATUS _In_ BOOLEAN	Requeue
Done	__pad1__

Function Documentation

FX_VF_METHOD() [1/16]

VOID FX_VF_METHOD	(	FxRequest	,
		VerifierBreakpoint_RequestEarlyDisposeDeferred
	)

Definition at line 2743 of file fxrequest.cpp.

{
    PAGED_CODE_LOCKED();
 
    //
    // For backwards compatibility break only if WDF is v1.11 or above, or if
    // the developer/client enabled these tests on down-level drivers.
    //
    if (FxDriverGlobals->IsVerificationEnabled(1, 11, OkForDownLevel)) {
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST %p deferred the dispose operation. This normally "
            "indicates that at least one of its children asked for passive "
            "level disposal. This is not supported.", GetHandle());
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
}

FX_VF_METHOD() [2/16]

VOID FX_VF_METHOD	(	FxRequest	,
		VerifyCompleteInternal
	)

FX_VF_METHOD() [3/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyInsertIrpQueue
	)

FX_VF_METHOD() [4/16]

VOID FX_VF_METHOD	(	FxRequest	,
		VerifyPreProcessSendAndForget
	)

Definition at line 1056 of file fxrequest.cpp.

{
    PAGED_CODE_LOCKED();
 
    if (m_CompletionRoutine.m_Completion != NULL) {
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST %p cannot send and forget will not execute completion "
            "routine %p",
            GetHandle(), m_CompletionRoutine.m_Completion);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
 
 
 
 
 
 
 
 
    }
 
    //
    // You cannot fire and forget a create irp if we created a WDFFILEOBJECT
    // for it since you must post process the status of the create because
    // the create can fail in the driver to which we are sending the irp.
    //
    if ((m_Irp.GetMajorFunction() == IRP_MJ_CREATE)
        &&
        (FxFileObjectClassNormalize(GetDevice()->GetFileObjectClass()) !=
            WdfFileObjectNotRequired)) {
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST %p cannot send and forget a create request which "
            "has a WDFFILEOBJECT created for it, it must have a completion "
            "routine and be post processsed", GetHandle());
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
}

FX_VF_METHOD() [5/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyProbeAndLock
	)

Definition at line 2547 of file fxrequest.cpp.

{
    NTSTATUS status = STATUS_SUCCESS;
 
    PAGED_CODE_LOCKED();
 
    MdEThread thread = m_Irp.GetThread();
 
    //
    // Some kernel mode drivers issue I/O without setting this
    //
    if (thread != NULL) {
        //
        // Currently DDK level headers don't let us reach into a threads
        // parent process, so we can't do the process level check, just
        // a thread level check.
        //
        if (m_Irp.GetRequestorMode() == UserMode && thread != Mx::GetCurrentEThread()) {
            status = STATUS_ACCESS_VIOLATION;
 
            // Error, wrong process context...
            DoTraceLevelMessage(
                FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
                "Attempt to access user mode memory from the wrong process "
                "Irp->Tail.Overlay.Thread 0x%p, PsGetCurrentThread 0x%p, "
                "%!STATUS!", thread, Mx::GetCurrentEThread(), status);
 
            return status;
        }
    }
    else {
        // Irp->Thread should be issued for all user mode requests
        ASSERT(m_Irp.GetRequestorMode() == KernelMode);
    }
 
    return status;
}

FX_VF_METHOD() [6/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestCanBeCompleted
	)

Definition at line 3043 of file fxrequest.cpp.

{
    NTSTATUS            status;
 
    PAGED_CODE_LOCKED();
 
    if (GetDriverGlobals()->IsVersionGreaterThanOrEqualTo(1,11) == FALSE) {
        status = VerifyRequestIsAllocatedFromIo(FxDriverGlobals);
        goto Done;
    }
 
    //
    // Validate the IRP's stack location.
    //
    status = VerifyRequestIsCurrentStackValid(FxDriverGlobals);
    if (!NT_SUCCESS(status)) {
        goto Done;
    }
 
    //
    // Note: There is no guarantees that the request has a completion routine in the current
    //          IRP stack location; thus we cannot check for it.
    //
 
    //
    // Make sure this request can be completed.
    //
    if (IsCanComplete() == FALSE) {
        status =  STATUS_INVALID_DEVICE_REQUEST;
        DoTraceLevelMessage(FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
                            "IRP %p of WDFREQUEST %p cannot be completed, "
                            "%!STATUS!",
                            GetFxIrp()->GetIrp(), GetHandle(), status);
        FxVerifierDbgBreakPoint(FxDriverGlobals);
        goto Done;
    }
 
    status = STATUS_SUCCESS;
 
Done:
    return status;
}

FX_VF_METHOD() [7/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsAllocatedFromIo
	)

Definition at line 2976 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if (IsAllocatedFromIo() == FALSE) {
       status = STATUS_INVALID_PARAMETER;
       DoTraceLevelMessage(FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGIO,
                           "Request 0x%p was not allocated for an incoming IRP, "
                           "%!STATUS!", GetHandle(), status);
       FxVerifierDbgBreakPoint(FxDriverGlobals);
 
    }  else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [8/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsCancelable
	)

Definition at line 2806 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if ((m_VerifierFlags & FXREQUEST_FLAG_DRIVER_CANCELABLE) == 0) {
        status = STATUS_INVALID_DEVICE_REQUEST;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST 0x%p is not cancelable, %!STATUS!",
            GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [9/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsCurrentStackValid
	)

Definition at line 3000 of file fxrequest.cpp.

{
    NTSTATUS status;
    MdIrp     irp;
 
    PAGED_CODE_LOCKED();
 
    //
    //Make sure there is an IRP.
    //
    irp = GetFxIrp()->GetIrp();
    if (NULL == irp) {
        status =  STATUS_INVALID_DEVICE_REQUEST;
        DoTraceLevelMessage(FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
                            "WDFREQUEST %p doesn't have an IRP, %!STATUS!",
                            GetHandle(), status);
        FxVerifierDbgBreakPoint(FxDriverGlobals);
        goto Done;
    }
 
    //
    // Validate the IRP's stack location values.
    //
    if (m_Irp.IsCurrentIrpStackLocationValid() == FALSE) {
        status =  STATUS_INVALID_DEVICE_REQUEST;
        DoTraceLevelMessage(FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
                            "IRP %p of WDFREQUEST %p doesn't have a valid"
                            " stack location, %!STATUS!",
                            irp, GetHandle(), status);
        FxVerifierDbgBreakPoint(FxDriverGlobals);
        goto Done;
    }
 
    status = STATUS_SUCCESS;
 
Done:
    return status;
}

FX_VF_METHOD() [10/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsDriverOwned
	)

Definition at line 2766 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if ((m_VerifierFlags & FXREQUEST_FLAG_DRIVER_OWNED) == 0) {
        status = STATUS_INVALID_DEVICE_REQUEST;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST 0x%p is not owned by the driver, %!STATUS!",
            GetHandle(), status);
 
        //
        // See if it's a tag request, since this could be a common mistake
        //
        if (m_VerifierFlags & FXREQUEST_FLAG_TAG_REQUEST) {
            DoTraceLevelMessage(
                FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
                "WDFREQUEST 0x%p has been "
                "used as a TagRequest in WdfIoQueueFindRequest. "
                "A TagRequest cannot be used until it is retrieved "
                "by WdfIoQueueRetrieveFoundRequest",
                GetHandle());
        }
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [11/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsInCallerContext
	)

Definition at line 2861 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if ((m_VerifierFlags & FXREQUEST_FLAG_DRIVER_INPROCESS_CONTEXT) == 0) {
        status = STATUS_INVALID_DEVICE_REQUEST;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "This call is valid only in EvtIoInCallerContext callback, "
            "WDFREQUEST 0x%p, %!STATUS!", GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [12/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsInEvtIoStopContext
	)

Definition at line 2888 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if ((m_VerifierFlags & FXREQUEST_FLAG_DRIVER_IN_EVTIOSTOP_CONTEXT) == 0) {
        status = STATUS_INVALID_DEVICE_REQUEST;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGIO,
            "This call is valid only in EvtIoStop callback, "
            "WDFREQUEST 0x%p, %!STATUS!", GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [13/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsNotCancelable
	)

Definition at line 2833 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if (m_VerifierFlags & FXREQUEST_FLAG_DRIVER_CANCELABLE) {
        status = STATUS_INVALID_DEVICE_REQUEST;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST 0x%p should be unmarked cancelable by calling "
            "WdfRequestUnmarkCancelable, %!STATUS!",
            GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [14/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsNotCompleted
	)

Definition at line 2915 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    if (m_Completed) {
        status = STATUS_INTERNAL_ERROR;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST 0x%p is already completed, %!STATUS!",
            GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [15/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyRequestIsTagRequest
	)

Definition at line 2942 of file fxrequest.cpp.

{
    NTSTATUS status;
 
    PAGED_CODE_LOCKED();
 
    //
    // A request that has been marked as a tag request can be retrieved
    // by the driver by calling WdfIoQueueRetrieveNextRequest instead of
    // WdfIoQueueRetrieveFoundRequest. Some drivers use multiple threads
    // to scan the queue, not the best design but allowed. This means that
    // it is possible for one thread to remove and complete a request that is
    // used as a tag by another thread.
    //
    if (FALSE == m_Completed && (0x0 == (m_VerifierFlags &
            (FXREQUEST_FLAG_TAG_REQUEST | FXREQUEST_FLAG_DRIVER_OWNED)))) {
 
       status = STATUS_INVALID_PARAMETER;
       DoTraceLevelMessage(FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGIO,
                           "Request 0x%p is not returned by WdfIoQueueFindRequest, "
                           "%!STATUS!", GetHandle(), status);
       FxVerifierDbgBreakPoint(FxDriverGlobals);
    }
    else {
        status = STATUS_SUCCESS;
    }
 
    return status;
}

FX_VF_METHOD() [16/16]

_Must_inspect_result_ NTSTATUS FX_VF_METHOD	(	FxRequest	,
		VerifyStopAcknowledge
	)

if() [1/6]

if

(

!

NT_SUCCESSstatus

)

Definition at line 2606 of file fxrequest.cpp.

                             {
        goto Done;
    }

if() [2/6]

if

(

(m_VerifierFlags &FXREQUEST_FLAG_DRIVER_CANCELABLE) &&(m_VerifierFlags &FXREQUEST_FLAG_CANCELLED)

= = 0x0

)

Definition at line 393 of file fxrequest.cpp.

                                                             {
 
        //
        // We could trace each sentence separate, but that takes up valuable
        // room in the IFR.  Instead, trace the entire "paragraph" as one
        // message so that we have more room in the IFR.
        //
        DoTraceLevelMessage(
            GetDriverGlobals(), TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "Completing Cancelable WDFREQUEST %p.  "
 
            "This results in a race condition in the device driver that can "
            "cause double completions.  "
 
            "Call WdfRequestUnmarkCancelable before WdfRequestComplete.  "
 
            "If WdfRequestUnmarkCancelable returns STATUS_CANCELLED, "
            "do not complete the request until the EvtIoCancel handler is called.  "
 
            "The straightforward way to ensure this is to complete a canceled "
            "request from the EvIoCancel callback.",
 
            GetHandle()
            );
 
            FxVerifierDbgBreakPoint(GetDriverGlobals());
 
    }

if() [3/6]

if

(

GetDriverGlobals() ->

FxVerifierIO

)

Definition at line 386 of file fxrequest.cpp.

                                           {
        (VOID) VerifyRequestIsNotCompleted(GetDriverGlobals());
    } else {

if() [4/6]

if

(

m_Completed

= = FALSE && Requeue

)

Definition at line 2610 of file fxrequest.cpp.

                                         {
 
        // Make sure the driver owns the request
 
        status = VerifyRequestIsDriverOwned(FxDriverGlobals);
        if (!NT_SUCCESS(status)) {
            goto Done;
        }
 
        //
        // Can't re-enqueue a cancelable request
        //
        status = VerifyRequestIsNotCancelable(FxDriverGlobals);
        if (!NT_SUCCESS(status)) {
            goto Done;
        }
    }

if() [5/6]

if

(

m_IrpQueue !

= NULL

)

Definition at line 1831 of file fxrequest.cpp.

                            {
        status = STATUS_INTERNAL_ERROR;
 
        DoTraceLevelMessage(
            FxDriverGlobals, TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "Already in FxIrpQueue 0x%p WDFREQUEST 0x%p %!STATUS!",
            IrpQueue, GetHandle(), status);
 
        FxVerifierDbgBreakPoint(FxDriverGlobals);
 
        goto Done;
    }

if() [6/6]

if	(	validateLength &&	NT_SUCCESSStatus) &&m_Irp.GetInformation(,
		length
	)

Definition at line 480 of file fxrequest.cpp.

                                                 {
 
        WDF_REQUEST_FATAL_ERROR_INFORMATION_LENGTH_MISMATCH_DATA data;
 
        DoTraceLevelMessage(
            GetDriverGlobals(), TRACE_LEVEL_ERROR, TRACINGREQUEST,
            "WDFREQUEST %p, MJ 0x%x, Information 0x%I64x is greater then "
            "buffer length 0x%x", GetHandle(), m_Irp.GetMajorFunction(),
            m_Irp.GetInformation(), length);
 
        data.Request = GetHandle();
        data.Irp = reinterpret_cast<PIRP>(m_Irp.GetIrp());
        data.OutputBufferLength = length;
        data.Information = m_Irp.GetInformation();
        data.MajorFunction = m_Irp.GetMajorFunction();
 
        FxVerifierBugCheck(
            GetDriverGlobals(),
            WDF_REQUEST_FATAL_ERROR,
            WDF_REQUEST_FATAL_ERROR_INFORMATION_LENGTH_MISMATCH,
            (ULONG_PTR) &data
            );
 
        // will not get here
    }

PAGED_CODE_LOCKED()

PAGED_CODE_LOCKED

(

)

Referenced by FX_VF_METHOD().

switch()

switch

(

m_Irp.

GetMajorFunction()

)

Definition at line 426 of file fxrequest.cpp.

                                      {
    case IRP_MJ_READ:
        length = m_Irp.GetParameterReadLength();
        validateLength = TRUE;
        break;
 
    case IRP_MJ_WRITE:
        length = m_Irp.GetParameterWriteLength();
        validateLength = TRUE;
        break;
 
    case IRP_MJ_DEVICE_CONTROL:
        if (m_Irp.GetRequestorMode() == UserMode) {
            length = m_Irp.GetParameterIoctlOutputBufferLength();
 
            if (length > 0) {
                validateLength = TRUE;
            }
            else {
                //
                // For an output length == 0, a driver can indicate the number
                // of bytes used of the input buffer.
                //
                DO_NOTHING();
            }
        }
        else {
            //
            // If the IOCTL came from kernel mode, the same reasoning applies
            // here as for an internal IOCTL...we don't know deterministically
            // how to find the output buffer length.
            //
            DO_NOTHING();
        }
        break;
 
    case IRP_MJ_INTERNAL_DEVICE_CONTROL:
        //
        // Because the current stack location can use any part of the union
        // (like Parameters.Others instead of Parameters.DeviceIoControl), we
        // cannot deterministically figure out the output buffer length for
        // internal IOCTLs.
        //
        //    ||   || Fall through ||   ||
        //    \/   \/              \/   \/
    default:
        DO_NOTHING();
    }

Unlock()

pList Unlock

(

irql

)

Variable Documentation

__pad0__

Done __pad0__

Definition at line 1852 of file fxrequest.cpp.

__pad1__

Done __pad1__

Definition at line 2628 of file fxrequest.cpp.

else

else

Initial value:

{
        ASSERT(m_Completed == FALSE)

Definition at line 388 of file fxrequest.cpp.

IrpQueue

_Must_inspect_result_ NTSTATUS _In_ FxIrpQueue* IrpQueue

Initial value:

{
    NTSTATUS status

Definition at line 1821 of file fxrequest.cpp.

Referenced by if().

irql

Lock& irql

Definition at line 379 of file fxrequest.cpp.

length

length = 0

Definition at line 378 of file fxrequest.cpp.

Referenced by if().

m_Completed

m_Completed = TRUE

Definition at line 509 of file fxrequest.cpp.

Referenced by FX_VF_METHOD().

Requeue

_Must_inspect_result_ NTSTATUS _In_ BOOLEAN Requeue

Initial value:

{
    NTSTATUS status

Definition at line 2591 of file fxrequest.cpp.

Status

VOID _In_ NTSTATUS Status

Initial value:

{
    UNREFERENCED_PARAMETER(FxDriverGlobals)

Definition at line 374 of file fxrequest.cpp.

status

return status = VerifyRequestIsNotCompleted(FxDriverGlobals)

Definition at line 1850 of file fxrequest.cpp.

Referenced by FX_VF_METHOD().

validateLength

validateLength = FALSE

Definition at line 380 of file fxrequest.cpp.

Referenced by switch().