macro VERIFY_IS_IRQL_PASSIVE_LEVEL

[S’applique uniquement à KMDF]

La macro VERIFY_IS_IRQL_PASSIVE_LEVEL s’insère dans le débogueur de noyau si le pilote n’est pas exécuté à IRQL = PASSIVE_LEVEL.

Syntaxe

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Paramètres

Cette macro ne comprend aucun paramètre.

Valeur retournée

None

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 dans une configuration de débogage.

Le code VERIFY_IS_IRQL_PASSIVE_LEVEL se décompose dans un débogueur de noyau si l’une des conditions suivantes est vraie :

• DbgBreakOnError est défini sur une valeur différente de zéro dans le Registre.
• VerifierOn est défini sur une valeur différente de zéro et DbgBreakOnError n’est pas défini.
• Le vérificateur de pilotes est activé, le pilote a été créé avec le framework version 1.9 ou ultérieure, et ni VerifierOn ni DbgBreakOnError n’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 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 de noyau si le pilote n’est pas exécuté à IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Configuration requise

Voir aussi

WDFVERIFY