clear_syscall_work_syscall_user_dispatch
clear_syscall_work_syscall_user_dispatch(me);
clear_syscall_work_syscall_user_dispatch(tsk);