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