FUTEX_OWNER_DIED
newval = oldval | FUTEX_OWNER_DIED;
newval = oldval | FUTEX_OWNER_DIED;
ATF_REQUIRE((pos_locks[i].fword & FUTEX_OWNER_DIED) != 0);
ATF_REQUIRE((neg_locks[i].fword & FUTEX_OWNER_DIED) != 0);
ATF_REQUIRE((pos_locks[i].fword & FUTEX_OWNER_DIED) != 0);
ATF_REQUIRE((pos_locks[i].fword & FUTEX_OWNER_DIED) != 0);