[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();
요구 사항
대상 플랫폼 |
유니버설 |
최소 KMDF 버전 |
1.0 |
헤더 |
Wdfassert.h(Wdf.h 포함) |