Constant FUTEX_WAITV_MAX

pub const FUTEX_WAITV_MAX: c_int = 128i32;