макрос 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) |