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


макрос VERIFY_IS_IRQL_PASSIVE_LEVEL

[Относится только к KMDF]

Макрос VERIFY_IS_IRQL_PASSIVE_LEVEL прерывается в отладчике ядра, если драйвер не выполняется в IRQL = PASSIVE_LEVEL.

Синтаксис

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Параметры

Этот макрос не имеет параметров.

Возвращаемое значение

None

Remarks

Код макроса VERIFY_IS_IRQL_PASSIVE_LEVEL включается в двоичный файл драйвера при сборке драйвера в конфигурации выпуска или конфигурации отладки.

Код VERIFY_IS_IRQL_PASSIVE_LEVEL разбивается на отладчик ядра, если выполняется одно из следующих действий:

  • DbgBreakOnError имеет ненулевое значение в реестре.
  • VerifierOn имеет ненулевое значение, а DbgBreakOnError не задано.
  • Средство проверки драйверов включено, драйвер был создан с платформой версии 1.9 или более поздней, и ни VerifierOn, ни DbgBreakOnError не заданы.

Дополнительные сведения о записях реестра, которые можно использовать для отладки драйвера, см. в разделе Записи реестра для отладки драйверов Framework-Based.

Дополнительные сведения об отладке драйвера см. в разделе Отладка драйвера KMDF.

Примеры

В следующем примере кода происходит прерывание работы отладчика ядра, если драйвер не выполняется в IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Требования

Целевая платформа

Универсальное

Минимальная версия KMDF

1,0

Заголовок

Wdfassert.h (включая Wdf.h)

См. также раздел

WDFVERIFY