66 double MakeTime(FILETIME const& kernel_time, FILETIME const& user_time) {  in MakeTime()  argument
71   user.HighPart = user_time.dwHighDateTime;  in MakeTime()
72   user.LowPart = user_time.dwLowDateTime;  in MakeTime()
87   return (static_cast<double>(info.user_time.seconds) +  in MakeTime()
88           static_cast<double>(info.user_time.microseconds) * 1e-6 +  in MakeTime()
112   FILETIME user_time;  in ProcessCPUUsage()  local
114                       &user_time))  in ProcessCPUUsage()
115     return MakeTime(kernel_time, user_time);  in ProcessCPUUsage()
143   FILETIME user_time;  in ThreadCPUUsage()  local
145                  &user_time);  in ThreadCPUUsage()
146   return MakeTime(kernel_time, user_time);  in ThreadCPUUsage()