futex_cleanup_end 3857 kernel/futex.c 	futex_cleanup_end(tsk, FUTEX_STATE_OK);
futex_cleanup_end 3864 kernel/futex.c 	futex_cleanup_end(tsk, FUTEX_STATE_DEAD);