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


Макрос WDFVERIFY

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

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

Синтаксис

VOID WDFVERIFY(
    exp
);

Параметры

exp
Логическое выражение, проверяющее WDFVERIFY.

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

None

Remarks

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

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

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

Примеры

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

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

Требования

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

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

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

1,0

Заголовок

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

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

VERIFY_IS_IRQL_PASSIVE_LEVEL