Поделиться через

Правило IrqlKeWaitForMutexObject (wdm)

  • Статья

Правило IrqlKeWaitForMutexObject указывает драйвер для вызова подпрограммы KeWaitForMutexObject в правильном irQL на основе значения параметра Timeout :

  • Если время ожидания указывает на нулевое значение, драйвер выполняется в IRQL = DISPATCH_LEVEL.

  • Если время ожидания равно NULL или указывает на любое значение, отличное от нуля, драйвер выполняется в IRQL <= APC_LEVEL.

Модель драйвера: WDM

Как тестировать

Во время компиляции

Запустите средство проверки статических драйверов и укажите правило IrqlKeWaitForMutexObject .

Выполните следующие действия, чтобы выполнить анализ кода.
  1. Подготовьте код (используйте объявления типов ролей).
  2. Запустите средство проверки статических драйверов.
  3. Просмотр и анализ результатов.

Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах.

Применяется к

KeWaitForSingleObject