Macro WDFVERIFY

[S’applique uniquement à KMDF]

La macro WDFVERIFY teste une expression logique et, si l’expression prend la valeur FALSE, s’interrompt dans le débogueur du noyau.

Syntaxe

VOID WDFVERIFY(
    exp
);

Paramètres

exp
Expression logique que WDFVERIFY teste.

Valeur de retour

None

Remarques

Le code de la macro WDFVERIFY est inclus dans le fichier binaire de votre pilote lorsque vous générez votre pilote dans une configuration de mise en production ou une configuration de débogage.

Le code WDFVERIFY s’insère dans un débogueur de noyau uniquement si la valeur VerifyOn est définie dans le Registre. Pour plus d’informations sur les entrées de Registre que vous pouvez utiliser pour déboguer votre pilote, consultez Entrées du Registre pour le débogage Framework-Based pilotes.

Pour plus d’informations sur le débogage de votre pilote, consultez Débogage d’un pilote KMDF.

Exemples

L’exemple de code suivant s’interrompt dans le débogueur si une tentative de réutilisation d’un objet de requête échoue.

status = WdfRequestReuse(Request, &params);
WDFVERIFY(NT_SUCCESS(status));

Configuration requise

Voir aussi

VERIFY_IS_IRQL_PASSIVE_LEVEL