futex_cleanup    3852 kernel/futex.c 	futex_cleanup(tsk);
futex_cleanup    3863 kernel/futex.c 	futex_cleanup(tsk);