макрос VERIFY_IS_IRQL_PASSIVE_LEVEL
[Применимо только к KMDF]
Макрос VERIFY_IS_IRQL_PASSIVE_LEVEL разбивается на отладчик ядра, если драйвер не выполняется в IRQL = PASSIVE_LEVEL.
Синтаксис
VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);
Параметры
Этот макрос не имеет параметров.
Возвращаемое значение
Нет
Замечания
Код для макроса VERIFY_IS_IRQL_PASSIVE_LEVEL включается в двоичный файл драйвера при сборке драйвера в конфигурации выпуска или конфигурации отладки.
Код VERIFY_IS_IRQL_PASSIVE_LEVEL разбивается на отладчик ядра, если одно из следующих значений имеет значение true:
- dbgBreakOnError имеет значение, отличное от нуля в реестре.
- VerifierOn имеет значение, отличное от нуля, и dbgBreakOnError не задано.
- Средство проверки драйверов включено, драйвер был создан с платформой версии 1.9 или более поздней, и ни VerifierOn, ни DbgBreakOnError.
Дополнительные сведения о записях реестра, которые можно использовать для отладки драйвера, см. в записях реестра для отладки Framework-Based драйверов.
Дополнительные сведения об отладке драйвера см. в отладке драйвера KMDF.
Примеры
Следующий пример кода прерывается в отладчик ядра, если драйвер не выполняется в IRQL = PASSIVE_LEVEL.
VERIFY_IS_IRQL_PASSIVE_LEVEL();
Требования
Целевая платформа |
универсальные |
Минимальная версия KMDF |
1.0 |
Заголовок |
Wdfassert.h (include Wdf.h) |