Jung-uk Kim 4fd3565a35 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		2012-02-24 23:15:21 +00:00
..
OsdDebug.c
OsdHardware.c
OsdInterrupt.c
OsdMemory.c	Merge ACPICA 20120215.	2012-02-16 22:59:29 +00:00
OsdSchedule.c
OsdStream.c
OsdSynch.c
OsdTable.c