rustmax::libc

Constant FUTEX_TID_MASK

Source 
pub const FUTEX_TID_MASK: u32 = 0x3fffffff; // 1_073_741_823u32