KsTimedPinSetDeviceState rule ()

The KsTimedPinSetDeviceState rule specifies that a AVStream (KS) miniport driver makes state transitions using the AVStream minidriver's AVStrMiniPinSetDeviceState routine within the required time.

Driver model: KS

Bug check(s) found with this rule: Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00082001)

How to test

At run time

To verify this rule, open a Command Prompt window. Enter a Driver Verifier command and specify /domain ks.

For example:

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

For more information, see Driver Verifier.

See also

AVStrMiniPinSetDeviceState