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

Правило PagedCodeAtD0 (kmdf)

  • Статья

Правило PagedCodeAtD0 указывает, что драйвер не должен помечать код как страничный в функциях обратного вызова, которые находятся в пути кода power-up.

Если функция помечается страничной и раздел кода впоследствии выстраивается на страницу, функция создает ошибку страницы, которая может повлиять на быстрое возобновление работы компьютера. Это происходит потому, что драйверу клиента придется подождать, пока системные драйверы не смогут обслужить эту страницу.

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

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

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

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

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

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

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

PAGED_CODE