Constant FUTEX_OWNER_DIED 

pub const FUTEX_OWNER_DIED: u32 = 1073741824;