Makro WDFVERIFY

[Hanya berlaku untuk KMDF]

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

Sintaksis

VOID WDFVERIFY(
    exp
);

Parameter-parameternya

exp
Ekspresi logis yang diuji WDFVERIFY.

Mengembalikan nilai

Tidak

Komentar

Kode untuk makro WDFVERIFY disertakan dalam biner driver Saat Anda membuat driver dalam konfigurasi rilis atau konfigurasi debug.

Kode WDFVERIFY pecah 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 sasaran	Universal
Versi KMDF minimum	1.0
Penanda kepala	Wdfassert.h (termasuk Wdf.h)

Lihat juga

VERIFY_IS_IRQL_PASSIVE_LEVEL