Nate Lawson 6e8e1dbdba Fix printf arg on 64-bit arch by casting to an int. The IO port is never ... more than a couple digits anyway. Pointy hat to: njl		2006-03-29 18:47:59 +00:00
..
OsdDebug.c	Canonize the include of acpi.h.	2005-09-11 18:39:03 +00:00
OsdHardware.c	Fix printf arg on 64-bit arch by casting to an int. The IO port is never	2006-03-29 18:47:59 +00:00
OsdInterrupt.c	Canonize the include of acpi.h.	2005-09-11 18:39:03 +00:00
OsdMemory.c	Canonize the include of acpi.h.	2005-09-11 18:39:03 +00:00
OsdSchedule.c	Add the following to the taskqueue api:	2006-01-14 01:55:24 +00:00
OsdStream.c	Canonize the include of acpi.h.	2005-09-11 18:39:03 +00:00
OsdSynch.c	Make tv_sec a time_t on all platforms but alpha. Brings us more in line with	2005-12-24 22:22:17 +00:00
OsdTable.c	Catch up with ACPI-CA 20051021 import	2005-11-01 22:44:08 +00:00