WDFVERIFY 매크로

[KMDF에만 적용]

WDFVERIFY 매크로는 논리 식을 테스트하고 식이 FALSE로 평가되면 커널 디버거로 나뉩니다.

구문

VOID WDFVERIFY(
    exp
);

exp
WDFVERIFY에서 테스트하는 논리적 식입니다.

없음

WDFVERIFY 매크로에 대한 코드는 릴리스 구성 또는 디버그 구성에서 드라이버를 빌드할 때 드라이버의 이진 파일에 포함됩니다.

WDFVERIFY 코드는 VerifyOn 값이 레지스트리에 설정된 경우에만 커널 디버거로 나뉩니다. 드라이버를 디버그하는 데 사용할 수 있는 레지스트리 항목에 대한 자세한 내용은 디 버깅 Framework-Based 드라이버에 대한 레지스트리 항목을 참조하세요.

드라이버 디버깅에 대한 자세한 내용은 KMDF 드라이버 디버깅을 참조하세요.

다음 코드 예제에서는 요청 개체를 다시 사용하려는 시도가 실패할 경우 디버거에 침입합니다.

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