FUTEX_STATE_DEAD 1235 kernel/futex.c 	if (tsk && tsk->futex_state != FUTEX_STATE_DEAD)
FUTEX_STATE_DEAD 3799 kernel/futex.c 	tsk->futex_state = FUTEX_STATE_DEAD;
FUTEX_STATE_DEAD 3864 kernel/futex.c 	futex_cleanup_end(tsk, FUTEX_STATE_DEAD);