WdfVerifierDbgBreakPoint - NtDoc

Native API online documentation, based on the System Informer (formerly Process Hacker) phnt headers
// wdfverifier.h

VOID WdfVerifierDbgBreakPoint();
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Windows Driver Kit DDI reference (nf-wdfverifier-wdfverifierdbgbreakpoint)

WdfVerifierDbgBreakPoint function

Description

[Applies to KMDF and UMDF]

The WdfVerifierDbgBreakPoint function breaks into a kernel debugger, if a debugger is running.

Remarks

The WdfVerifierDbgBreakPoint function breaks into a kernel debugger if one of the following is true:

For more information about registry entries that you can use to debug your driver, see Registry Entries for Debugging Framework-Based Drivers.

For more information about debugging your driver, see Debugging a KMDF Driver.

Examples

The following code example shows how a driver might handle a failure to obtain an I/O request's output buffer.

Status = WdfRequestRetrieveOutputMemory(
                                        Request,
                                        &memory
                                        );
if( !NT_SUCCESS(Status) ) {
    KdPrint(("EvtIoRead could not get request memory buffer. Status: 0x%x\n",Status));
    WdfVerifierDbgBreakPoint();
    WdfRequestCompleteWithInformation(
                                      Request,
                                      Status,
                                      0L
                                      );
    return;
}

See also

WdfVerifierKeBugCheck