Constant __NR_mpx 

pub const __NR_mpx: u32 = 56;