| 680 | |
| 681 | |
| 682 | static void record_times( HANDLE const process, timing_info * const time ) |
| 683 | { |
| 684 | FILETIME creation; |
| 685 | FILETIME exit; |
| 686 | FILETIME kernel; |
| 687 | FILETIME user; |
| 688 | if ( GetProcessTimes( process, &creation, &exit, &kernel, &user ) ) |
| 689 | { |
| 690 | time->system = filetime_to_seconds( kernel ); |
| 691 | time->user = filetime_to_seconds( user ); |
| 692 | timestamp_from_filetime( &time->start, &creation ); |
| 693 | timestamp_from_filetime( &time->end, &exit ); |
| 694 | } |
| 695 | } |
| 696 | |
| 697 | |
| 698 | #define IO_BUFFER_SIZE ( 16 * 1024 ) |
no test coverage detected