posix_cpu_timers_exit_group
void posix_cpu_timers_exit_group(struct task_struct *task);
posix_cpu_timers_exit_group(tsk);