Symbol: futex_cleanup
kernel/futex/core.c
1501
futex_cleanup(tsk);
kernel/futex/core.c
1512
futex_cleanup(tsk);