HANDLE_DEATH_PENDING
curr, pend_mod, HANDLE_DEATH_PENDING);
handle_futex_death(uaddr, curr, pend_mod, HANDLE_DEATH_PENDING);