Lines Matching defs:user_time
1615 basic_info->user_time.seconds =
1616 (typeof(basic_info->user_time.seconds))secs;
1617 basic_info->user_time.microseconds = usecs;
1653 basic_info->user_time.seconds =
1654 (typeof(basic_info->user_time.seconds))secs;
1655 basic_info->user_time.microseconds = usecs;
1698 basic_info->user_time.seconds =
1699 (typeof(basic_info->user_time.seconds))secs;
1700 basic_info->user_time.microseconds = usecs;
1722 times_info->user_time.seconds = 0;
1723 times_info->user_time.microseconds = 0;
1729 time_value_t user_time, system_time;
1731 thread_read_times(thread, &user_time, &system_time);
1733 time_value_add(×_info->user_time, &user_time);