Bagikan melalui


makro VERIFY_IS_IRQL_PASSIVE_LEVEL

[Berlaku untuk KMDF saja]

Makro VERIFY_IS_IRQL_PASSIVE_LEVEL masuk ke debugger kernel jika driver tidak dijalankan di IRQL = PASSIVE_LEVEL.

Sintaks

VOID VERIFY_IS_IRQL_PASSIVE_LEVEL(void);

Parameter

Makro ini tidak memiliki parameter.

Menampilkan nilai

Tidak ada

Keterangan

Kode untuk makro VERIFY_IS_IRQL_PASSIVE_LEVEL disertakan dalam biner driver Saat Anda membangun driver dalam konfigurasi rilis atau konfigurasi debug.

Kode VERIFY_IS_IRQL_PASSIVE_LEVEL dipecah menjadi debugger kernel jika salah satu hal berikut ini benar:

  • DbgBreakOnError diatur ke nilai bukan nol dalam registri.
  • VerifierOn diatur ke nilai bukan nol dan DbgBreakOnError tidak diatur.
  • Driver Verifier diaktifkan, driver dibangun dengan kerangka kerja versi 1.9 atau yang lebih baru, dan VerifierOn maupun DbgBreakOnError tidak diatur.

Untuk informasi selengkapnya tentang entri registri yang dapat Anda gunakan untuk men-debug driver Anda, lihat Entri Registri untuk Penelusuran Kesalahan Framework-Based Driver.

Untuk informasi selengkapnya tentang penelusuran kesalahan driver Anda, lihat Men-debug Driver KMDF.

Contoh

Contoh kode berikut memecah ke debugger kernel jika driver tidak dijalankan di IRQL = PASSIVE_LEVEL.

VERIFY_IS_IRQL_PASSIVE_LEVEL();

Persyaratan

Platform target

Universal

Versi KMDF minimum

1,0

Header

Wdfassert.h (termasuk Wdf.h)

Lihat juga

WDFVERIFY