62 double MakeTime(FILETIME const& kernel_time, FILETIME const& user_time) {  in MakeTime()  argument
67   user.HighPart = user_time.dwHighDateTime;  in MakeTime()
68   user.LowPart = user_time.dwLowDateTime;  in MakeTime()
83   return (static_cast<double>(info.user_time.seconds) +  in MakeTime()
84           static_cast<double>(info.user_time.microseconds) * 1e-6 +  in MakeTime()
115   FILETIME user_time;  in ProcessCPUUsage()
117                       &user_time))  in ProcessCPUUsage()
118     return MakeTime(kernel_time, user_time);  in ProcessCPUUsage()
139   FILETIME user_time;  in ThreadCPUUsage()
141                  &user_time);  in ThreadCPUUsage()
142   return MakeTime(kernel_time, user_time);  in ThreadCPUUsage()