Fix timer units

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2013-04-12 16:51:33 +02:00
parent b624c94856
commit 4e13e84e56

View file

@ -63,7 +63,7 @@ uboot_get_boot_data (void)
static grub_uint64_t
uboot_timer_ms (void)
{
return (grub_uint64_t) uboot_get_timer (timer_start);
return (grub_uint64_t) uboot_get_timer (timer_start) / 1000;
}
void