#include <config.h>
#include <config-util.h>
#include <sys/times.h>
#include <unistd.h>
#include <grub/emu/misc.h>
grub_uint64_t
grub_util_get_cpu_time_ms (void)
{
struct tms tm;
times (&tm);
return (tm.tms_utime * 1000ULL) / sysconf(_SC_CLK_TCK);
}