Partager via

Règle KsDeviceMutex ()

  • Article

La règle KsDeviceMutex spécifie qu’un pilote miniport de diffusion en continu du noyau utilise KsAcquireDevice et KsReleaseDevice dans la séquence correcte. Autrement dit, chaque appel à KsAcquireDevice doit avoir un appel correspondant à KsReleaseDevice.

Modèle de pilote : KS

Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x00081001 )

Comment tester

Au moment de l'exécution

Pour vérifier cette règle, ouvrez une fenêtre d’invite de commandes. Entrez une commande Driver Verifier et spécifiez /domain ks.

Par exemple :

vérificateur /domain ks [options] /driver< yourdriver >

Pour plus d’informations, consultez Type de débogage.