5254 _task_fill_times(task_t task, time_value_t *user_time, time_value_t *sys_time)  in _task_fill_times()  argument
5261 	user_time->seconds = (typeof(user_time->seconds))sec;  in _task_fill_times()
5262 	user_time->microseconds = usec;  in _task_fill_times()
5323 			_task_fill_times(task, &basic_info->user_time,  in task_info()
5351 		_task_fill_times(task, &basic_info->user_time,  in task_info()
5375 		_task_fill_times(task, &basic_info->user_time,  in task_info()
5400 		_task_fill_times(task, &basic_info->user_time,  in task_info()
5418 		times_info->user_time = (time_value_t){ 0 };  in task_info()
5423 				time_value_t user_time, system_time;  in task_info()  local
5425 				thread_read_times(thread, &user_time, &system_time, NULL);  in task_info()
5426 				time_value_add(&times_info->user_time, &user_time);  in task_info()