K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2012-02-24T23:15:21.396913Z
K 7
svn:log
V 142
Fix a long-standing bug for AcpiOsGetTimer().  time_t is 32-bit on i386 and
it needs proper casting before multiplication.

MFC after:	3 days

END