[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] fix GRUB_TICKS_PER_SECOND in include/grub/efi/time.h
|
From: |
Alexandre Boeglin |
|
Subject: |
Re: [PATCH] fix GRUB_TICKS_PER_SECOND in include/grub/efi/time.h |
|
Date: |
Fri, 29 Feb 2008 13:52:40 +0100 |
|
User-agent: |
Mutt/1.5.17+20080114 (2008-01-14) |
Le ven 22 fév 2008 à 09:24:23 +0100, Yoshinori K. Okuji a écrit :
> > Then, I think the problem is the same, as the current grub_get_rtc returns
> > a number of milliseconds. So, shouldn'it be 60 * 60 * 1000 ?
>
> No. Why do you think it returns milliseconds?
Ah, it does not exactly "return" milliseconds, sorry. But currently it seems
GRUB_TICKS_PER_SECOND "overflows" a value in milliseconds, so I think it
should use milliseconds and not seconds as its "base".
Alex