Makro WDFVERIFY

[Berlaku untuk KMDF saja]

Makro WDFVERIFY menguji ekspresi logis dan, jika ekspresi mengevaluasi ke FALSE, memecah ke debugger kernel.

Sintaks

VOID WDFVERIFY(
    exp
);

Parameter

exp
Ekspresi logis yang diuji WDFVERIFY.

Nilai kembali

Tidak ada

Keterangan

Kode untuk makro WDFVERIFY disertakan dalam biner driver Anda saat Anda membangun driver dalam konfigurasi rilis atau konfigurasi debug.

Kode WDFVERIFY dipecah menjadi debugger kernel hanya jika nilai VerifyOn diatur dalam registri. 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 jika upaya untuk menggunakan kembali objek permintaan gagal.

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

Persyaratan

Platform target	Universal
Versi KMDF minimum	1,0
Header	Wdfassert.h (termasuk Wdf.h)

Lihat juga

VERIFY_IS_IRQL_PASSIVE_LEVEL