Lines Matching defs:user_time
69 double MakeTime(FILETIME const& kernel_time, FILETIME const& user_time) {
74 user.HighPart = user_time.dwHighDateTime;
75 user.LowPart = user_time.dwLowDateTime;
90 return (static_cast<double>(info.user_time.seconds) +
91 static_cast<double>(info.user_time.microseconds) * 1e-6 +
115 FILETIME user_time;
117 &user_time))
118 return MakeTime(kernel_time, user_time);
146 FILETIME user_time;
148 &user_time);
149 return MakeTime(kernel_time, user_time);