equal
deleted
inserted
replaced
949 &user_time); |
949 &user_time); |
950 if (result != 0) { |
950 if (result != 0) { |
951 FILETIME wt; |
951 FILETIME wt; |
952 GetSystemTimeAsFileTime(&wt); |
952 GetSystemTimeAsFileTime(&wt); |
953 jlong rtc_millis = windows_to_java_time(wt); |
953 jlong rtc_millis = windows_to_java_time(wt); |
954 jlong user_millis = windows_to_java_time(user_time); |
|
955 jlong system_millis = windows_to_java_time(kernel_time); |
|
956 *process_real_time = ((double) rtc_millis) / ((double) MILLIUNITS); |
954 *process_real_time = ((double) rtc_millis) / ((double) MILLIUNITS); |
957 *process_user_time = ((double) user_millis) / ((double) MILLIUNITS); |
955 *process_user_time = |
958 *process_system_time = ((double) system_millis) / ((double) MILLIUNITS); |
956 (double) jlong_from(user_time.dwHighDateTime, user_time.dwLowDateTime) / (10 * MICROUNITS); |
|
957 *process_system_time = |
|
958 (double) jlong_from(kernel_time.dwHighDateTime, kernel_time.dwLowDateTime) / (10 * MICROUNITS); |
959 return true; |
959 return true; |
960 } else { |
960 } else { |
961 return false; |
961 return false; |
962 } |
962 } |
963 } |
963 } |