Macro WDFVERIFY
[Solo se aplica a KMDF]
La macro WDFVERIFY prueba una expresión lógica y, si la expresión se evalúa como FALSE, se divide en el depurador de kernel.
Sintaxis
VOID WDFVERIFY(
exp
);
Parámetros
exp
Expresión lógica que WDFVERIFY prueba.
Valor devuelto
None
Observaciones
El código de la macro WDFVERIFY se incluye en el binario del controlador al compilar el controlador en una configuración de versión o en una configuración de depuración.
El código WDFVERIFY se divide en un depurador de kernel solo si el valor VerifyOn está establecido en el Registro. Para obtener más información sobre las entradas del Registro que puede usar para depurar el controlador, consulte Entradas del Registro para depurar controladores Framework-Based.
Para obtener más información sobre cómo depurar el controlador, consulte Depuración de un controlador KMDF.
Ejemplos
En el ejemplo de código siguiente se divide en el depurador si se produce un error al intentar reutilizar un objeto de solicitud.
status = WdfRequestReuse(Request, ¶ms);
WDFVERIFY(NT_SUCCESS(status));
Requisitos
Plataforma de destino |
Universal |
Versión mínima de KMDF |
1.0 |
Encabezado |
Wdfassert.h (incluya Wdf.h) |