Constant PR_SET_MM_MAP_SIZE 

pub const PR_SET_MM_MAP_SIZE: u32 = 15; // 15u32