VERIFY_IS_IRQL_PASSIVE_LEVEL 매크로

[KMDF에만 적용]

드라이버가 IRQL = PASSIVE_LEVEL 실행되지 않는 경우 VERIFY_IS_IRQL_PASSIVE_LEVEL 매크로가 커널 디버거로 중단됩니다.

구문

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

이 매크로에는 매개 변수가 없습니다.

없음

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

다음 중 하나가 true이면 VERIFY_IS_IRQL_PASSIVE_LEVEL 코드가 커널 디버거로 나뉩 수 있습니다.

DbgBreakOnError 는 레지스트리에서 0이 아닌 값으로 설정됩니다.
VerifierOn 이 0이 아닌 값으로 설정되고 DbgBreakOnError 가 설정되지 않았습니다.
드라이버 검증 도구가 활성화되고, 드라이버가 프레임워크 버전 1.9 이상으로 빌드되었으며 VerifierOn 또는 DbgBreakOnError 가 설정되지 않았습니다.

드라이버를 디버그하는 데 사용할 수 있는 레지스트리 항목에 대한 자세한 내용은 디 버깅 Framework-Based 드라이버에 대한 레지스트리 항목을 참조하세요.

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

다음 코드 예제에서는 드라이버가 IRQL = PASSIVE_LEVEL 실행되지 않는 경우 커널 디버거에 침입합니다.

VERIFY_IS_IRQL_PASSIVE_LEVEL();