Constant FUTEX_OWNER_DIED 

pub const FUTEX_OWNER_DIED: u32 = 0x40000000; // 1_073_741_824u32