Searched defs:saved_time (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/grub-core/normal/
H A Dmenu.c498 grub_uint64_t saved_time; local
519 saved_time = grub_get_time_ms ();
544 if (current_time - saved_time >= 1000)
548 saved_time = current_time;

Completed in 16 milliseconds