Constant FUTEX_WAITV_MAX 

pub const FUTEX_WAITV_MAX: i32 = 128;