John Baldwin 284739a942 Reindent to non-style(9) compliant 4 space indent to match rest of file.		2003-11-12 16:24:16 +00:00
..
OsdDebug.c	Support functions for the new ACPI import.	2003-04-29 18:50:34 +00:00
OsdHardware.c	- Rename PCIx_HEADERTYPE* to PCIx_HDRTYPE* so the constants aren't so long.	2003-08-28 21:22:25 +00:00
OsdInterrupt.c	Reindent to non-style(9) compliant 4 space indent to match rest of file.	2003-11-12 16:24:16 +00:00
OsdMemory.c	Fix build breakage on ia64. The second argument of AcpiOsReadable()	2003-07-14 02:42:15 +00:00
OsdSchedule.c	If requested to Sleep for less than our hz granularity (e.g., 10 ms),	2003-10-02 05:09:37 +00:00
OsdStream.c	Support functions for the new ACPI import.	2003-04-29 18:50:34 +00:00
OsdSynch.c	Make debug.acpi.level and debug.acpi.layer sysctls that can be set with	2003-09-26 21:22:10 +00:00
OsdTable.c	Support functions for the new ACPI import.	2003-04-29 18:50:34 +00:00