Constant IO_MM_PAGING_FILE 

pub const IO_MM_PAGING_FILE: u32 = 16u32;