Constant PR_SET_MM_MAP_SIZE 

pub const PR_SET_MM_MAP_SIZE: c_int = 15;