Constant PR_SET_MM

Source
pub const PR_SET_MM: u32 = 35; // 35u32