Constant FUTEX_WAITERS 

pub const FUTEX_WAITERS: u32 = 0x80000000;