blob: 3568aa2d359307277e2a6397c37f83f55b48ee89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <config.h>
#include <config-util.h>
#include <grub/emu/misc.h>
#include <windows.h>
grub_uint64_t
grub_util_get_cpu_time_ms (void)
{
FILETIME cr, ex, ke, us;
ULARGE_INTEGER us_ul;
GetProcessTimes (GetCurrentProcess (), &cr, &ex, &ke, &us);
us_ul.LowPart = us.dwLowDateTime;
us_ul.HighPart = us.dwHighDateTime;
return us_ul.QuadPart / 10000;
}
|
