Constant FUTEX_WAITV_MAX 

pub const FUTEX_WAITV_MAX: u32 = 128;