Symbol: futex_cleanup_end
kernel/futex/core.c
1526
futex_cleanup_end(tsk, FUTEX_STATE_OK);
kernel/futex/core.c
1533
futex_cleanup_end(tsk, FUTEX_STATE_DEAD);