macro VERIFY_IS_IRQL_PASSIVE_LEVEL

[S’applique uniquement à KMDF]

La macro VERIFY_IS_IRQL_PASSIVE_LEVEL se décompose dans le débogueur du noyau si le pilote n’est pas en cours d’exécution à IRQL = PASSIVE_LEVEL.

Syntaxe

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Paramètres

Cette macro n’a aucun paramètre.

Valeur de retour

Aucun

Remarques

Le code de la macro VERIFY_IS_IRQL_PASSIVE_LEVEL 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 VERIFY_IS_IRQL_PASSIVE_LEVEL se décompose en débogueur de noyau si l’une des valeurs suivantes est vraie :

• DbgBreakOnError est défini sur une valeur différente de zéro dans le Registre.
• De vérificateur est défini sur une valeur non nulle et DbgBreakOnError n’est pas définie.
• Le vérificateur de pilotes est activé, le pilote a été créé avec framework version 1.9 ou ultérieure, et ni VerifierOn ni DbgBreakOnError est défini.

Pour plus d’informations sur les entrées de Registre que vous pouvez utiliser pour déboguer votre pilote, consultez Entrées de 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 se décompose dans le débogueur du noyau si le pilote n’est pas en cours d’exécution à IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Spécifications

Voir aussi

WDFVERIFY