Constant FUTEX_OWNER_DIED

pub const FUTEX_OWNER_DIED: u32 = 0x40000000;