// wdfverifier.h
VOID WdfVerifierDbgBreakPoint();
View the official Windows Driver Kit DDI referenceNo description available.
[Applies to KMDF and UMDF]
The WdfVerifierDbgBreakPoint function breaks into a kernel debugger, if a debugger is running.
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.
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;
}