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 l’ordre approprié. Autrement dit, chaque appel à KsAcquireDevice doit avoir un appel correspondant à KsReleaseDevice.

Modèle de pilote : KS

Bogues case activée trouvés 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 :

verifier /domain ks [options] /driver<yourdriver>

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