KsProcessingMutex rule ()
The KsProcessingMutex rule specifies that a KS miniport driver uses the processing mutex in the correct sequence:
- The processing mutex cannot be obtained recursively.
- A thread that has acquired the processing mutex should not subsequently attempt to acquire the filter control mutex.
- A thread should not release the processing mutex without acquiring it first.
Driver model: KS
Bug check(s) found with this rule: Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100B)
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. |