Aturan KsIrqlPinCallbacks ()

Aturan KsIrqlPinCallbacks menentukan bahwa driver miniport kernel-stream (KS) kembali dari fungsi panggilan balik KS Pin dengan IRQL yang sama seperti saat dipanggil.

Tips untuk penelusuran kesalahan

Ketika Driver Verifier mendeteksi pelanggaran aturan ini, itu memicu Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION, dengan nilai arg1 0x00081008. Arg3 (RuleState) dan arg4 (SubState) dari pemeriksaan bug menyediakan pointer untuk informasi tambahan tentang pelanggaran aturan.

Gunakan ekstensi debugger !ruleinfo untuk mengetahui apa nilai IRQL berada di entri fungsi dan keluar.

Gunakan perintah :

!ruleinfo 0x81008 RuleState SubState.

Dalam data status aturan, OldIrql adalah IRQL saat panggilan balik dimasukkan. NewIrql adalah IRQL ketika fungsi panggilan balik keluar.

Jangan gunakan !irql untuk menentukan IRQL saat ini karena Driver Verifier mungkin telah menaikkan IRQL sebelum pemeriksaan bug. Sebagai gantinya, gunakan !verifier 0x008 untuk melihat log IRQL.

Model driver: KS

Pemeriksaan bug ditemukan dengan aturan ini: Pemeriksaan Bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00081008)

Cara menguji

Pada durasi
Untuk memverifikasi aturan ini, buka jendela Prompt Perintah. Masukkan perintah Driver Verifier dan tentukan /domain ks. Contohnya: verifier /domain ks [options] /driver <yourdriver> Untuk informasi selengkapnya, lihat Pemverifikasi Driver.