Constant MAP_INVALIDATE_RANGE_BIT 

pub const MAP_INVALIDATE_RANGE_BIT: u32 = 0x0004;