Lines Matching defs:user_time
76 double MakeTime(FILETIME const& kernel_time, FILETIME const& user_time) {
81 user.HighPart = user_time.dwHighDateTime;
82 user.LowPart = user_time.dwLowDateTime;
97 return (static_cast<double>(info.user_time.seconds) +
98 static_cast<double>(info.user_time.microseconds) * 1e-6 +
122 FILETIME user_time;
124 &user_time))
125 return MakeTime(kernel_time, user_time);
157 FILETIME user_time;
159 &user_time);
160 return MakeTime(kernel_time, user_time);