Макрос WDFVERIFY

[Применимо только к KMDF]

Макрос WDFVERIFY проверяет логическое выражение и, если выражение оценивается как FALSE, прерывается в отладчик ядра.

Синтаксис

VOID WDFVERIFY(
    exp
);

Параметры

эксп
Логическое выражение, которое проверяет WDFVERIFY.

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

Нет

Замечания

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

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

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

Примеры

Следующий пример кода прерывается в отладчик, если попытка повторного использования объекта запроса завершается ошибкой.

status = WdfRequestReuse(Request, &params);
WDFVERIFY(NT_SUCCESS(status));

Требования

См. также

VERIFY_IS_IRQL_PASSIVE_LEVEL