handle_posix_cpu_timers
static void handle_posix_cpu_timers(struct task_struct *tsk);
handle_posix_cpu_timers(current);
handle_posix_cpu_timers(tsk);