FUTEX_OWNER_DIED
mval = (uval & FUTEX_WAITERS) | FUTEX_OWNER_DIED;
if (uval & FUTEX_OWNER_DIED) {
newval = uval & FUTEX_OWNER_DIED;
newtid |= FUTEX_OWNER_DIED;
newval = (uval & FUTEX_OWNER_DIED) | newtid;
ASSERT_TRUE(*futex & FUTEX_OWNER_DIED);
ASSERT_TRUE(*futex & FUTEX_OWNER_DIED);
if (!(lock->futex & FUTEX_OWNER_DIED)) {