FUTEX_STATE_DEAD
tsk->futex_state = FUTEX_STATE_DEAD;
futex_cleanup_end(tsk, FUTEX_STATE_DEAD);
if (tsk && tsk->futex_state != FUTEX_STATE_DEAD)