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