Lines Matching defs:system_time
1620 basic_info->system_time.seconds =
1621 (typeof(basic_info->system_time.seconds))secs;
1622 basic_info->system_time.microseconds = usecs;
1658 basic_info->system_time.seconds =
1659 (typeof(basic_info->system_time.seconds))secs;
1660 basic_info->system_time.microseconds = usecs;
1703 basic_info->system_time.seconds =
1704 (typeof(basic_info->system_time.seconds))secs;
1705 basic_info->system_time.microseconds = usecs;
1724 times_info->system_time.seconds = 0;
1725 times_info->system_time.microseconds = 0;
1729 time_value_t user_time, system_time;
1731 thread_read_times(thread, &user_time, &system_time);
1734 time_value_add(×_info->system_time, &system_time);