Constant PR_SET_MM_AUXV 

pub const PR_SET_MM_AUXV: c_int = 12;