Constant IRP_SYNCHRONOUS_PAGING_IO 

pub const IRP_SYNCHRONOUS_PAGING_IO: u32 = 64u32;