Constant IO_MM_PAGING_FILE

pub const IO_MM_PAGING_FILE: u32 = 16u32;