Mendeteksi kode yang dapat di-pageable

Untuk mendeteksi kode yang berjalan di IRQL >= DISPATCH_LEVEL, gunakan makro PAGED_CODE . Dalam mode debug, makro ini menghasilkan pesan jika kode berjalan di IRQL >= DISPATCH_LEVEL. Tambahkan makro sebagai pernyataan pertama dalam rutinitas untuk menandai seluruh rutinitas sebagai kode halaman, seperti yang ditunjukkan contoh berikut:

NTSTATUS 
MyDriverXxx( 
    IN OUT PVOID ParseContext OPTIONAL, 
    OUT PHANDLE Handle 
    ) 
{ 
    NTSTATUS Status; 
 
    PAGED_CODE(); 
. 
. 
. 
} 

Untuk memastikan bahwa Anda melakukan ini dengan benar, jalankan Pemverifikasi Driver terhadap driver Anda yang sudah selesai dengan opsi Paksa Pemeriksaan IRQL diaktifkan. Opsi ini menyebabkan sistem secara otomatis mem-page out semua kode pageable setiap kali driver menaikkan IRQL ke DISPATCH_LEVEL atau lebih tinggi. Dengan menggunakan Driver Verifier, Anda dapat dengan cepat menemukan bug driver di area ini. Jika tidak, bug ini biasanya hanya akan ditemukan oleh pelanggan dan mereka sering sulit bagi Anda untuk bereproduksi.