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

Правило PagedCodeAtPowerTrans (wdm)

  • Статья

Правило PagedCodeAtPowerTrans указывает, что драйвер не должен вызывать PAGED_CODE при ответе на системные IRP_MJ_POWER Irp (IRP_MN_SET_POWER) и устройства IRP_MJ_POWER IRP (IRP_MN_SET_POWER).

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

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

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

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

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

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

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

PAGED_CODE