From 4e13e84e56f7ed59145ea2fcb57e60bb967e9ff1 Mon Sep 17 00:00:00 2001 From: Vladimir 'phcoder' Serbinenko Date: Fri, 12 Apr 2013 16:51:33 +0200 Subject: [PATCH] Fix timer units --- grub-core/kern/uboot/init.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/grub-core/kern/uboot/init.c b/grub-core/kern/uboot/init.c index 431bd7b36..1da37384a 100644 --- a/grub-core/kern/uboot/init.c +++ b/grub-core/kern/uboot/init.c @@ -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