FUTEX_TID_MASK
KASSERT(pid <= FUTEX_TID_MASK);
KASSERT(new_pt_mask <= FUTEX_TID_MASK);
MIN(PID_MAX*MAXMAXLWP, FUTEX_TID_MASK));
MIN(PID_MAX*MAXMAXLWP, FUTEX_TID_MASK));
if ((oldval & FUTEX_TID_MASK) != tid)
if ((oldval & FUTEX_TID_MASK) != tid)
if ((oldval & FUTEX_TID_MASK) != tid)
KASSERT((l->l_lid & FUTEX_TID_MASK) == l->l_lid);
ATF_REQUIRE((pos_locks[i].fword & FUTEX_TID_MASK) ==
ATF_REQUIRE((neg_locks[i].fword & FUTEX_TID_MASK) ==
ATF_REQUIRE((pos_locks[i].fword & FUTEX_TID_MASK) ==
ATF_REQUIRE((pos_locks[i].fword & FUTEX_TID_MASK) ==