Condividi tramite

Regola KsDeviceMutex ()

  • Articolo

La regola KsDeviceMutex specifica che un driver miniport in streaming kernel usa KsAcquireDevice e KsReleaseDevice nella sequenza corretta. Ovvero, ogni chiamata a KsAcquireDevice deve avere una chiamata corrispondente a KsReleaseDevice.

Modello di driver: KS

Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00081001)

Come eseguire il test

In fase di esecuzione

Per verificare questa regola, aprire una finestra del prompt dei comandi. Immettere un comando Driver Verifier e specificare /domain ks.

Ad esempio:

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

Per altre informazioni, vedere Driver Verifier.