FUTEX_STATE_DEAD
tsk->futex.state = FUTEX_STATE_DEAD;
futex_cleanup_end(tsk, FUTEX_STATE_DEAD);
if (tsk && tsk->futex.state != FUTEX_STATE_DEAD)