peter a04c723d6a Minor source sync with amd64. For %.*s printf formats, pass in an ... int rather than a size_t. cast the ioapicaddress variable via uintptr_t before going to void *.		2003-11-14 22:26:29 +00:00
..
acpi_machdep.c	MFi386 by jhb: add acpi_SetDefaultIntrModel();	2003-09-22 22:12:46 +00:00
acpi_wakeup.c	Minor style cleanups.	2003-08-28 16:30:31 +00:00
madt.c	Minor source sync with amd64. For %.*s printf formats, pass in an	2003-11-14 22:26:29 +00:00
OsdEnvironment.c	Minor style cleanups.	2003-08-28 16:30:31 +00:00