WDFVERIFY macro
[Applies to KMDF only]
The WDFVERIFY macro tests a logical expression and, if the expression evaluates to FALSE, breaks into the kernel debugger.
Syntax
VOID WDFVERIFY(
exp
);
Parameters
exp
A logical expression that WDFVERIFY tests.
Return value
None
Remarks
The code for the WDFVERIFY macro is included in your driver's binary when you build your driver in a release configuration or a debug configuration.
The WDFVERIFY code breaks into a kernel debugger only if the VerifyOn value is set in the registry. 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 breaks into the debugger if an attempt to reuse a request object fails.
status = WdfRequestReuse(Request, ¶ms);
WDFVERIFY(NT_SUCCESS(status));
Requirements
Target platform |
Universal |
Minimum KMDF version |
1.0 |
Header |
Wdfassert.h (include Wdf.h) |