Searched refs:tsc_boot_time (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/grub-core/kern/i386/
H A Dtsc.c30 static grub_uint64_t tsc_boot_time; variable
39 return tsc_boot_time + grub_divmod64 (grub_get_tsc (), tsc_ticks_per_ms, 0);
66 tsc_boot_time = grub_get_tsc ();

Completed in 15 milliseconds