Constant FUTEX_OWNER_DIED 

pub const FUTEX_OWNER_DIED: u32 = 0x40000000;