Andrew Turner 617994efc7 Add basic support for ACPI. It splits out the nexus driver to two new ... drivers, one for fdt, one for acpi. It then uses this to decide if it will use fdt or acpi. The GICv2 (interrupt controller) and Generic Timer drivers have been updated to handle both cases. As this is early code we still need FDT to find the kernel console, and some parts are still missing, including PCI support. Differential Revision: https://reviews.freebsd.org/D2463 Reviewed by: jhb, jkim, emaste Obtained from: ABT Systems Ltd Relnotes: Yes Sponsored by: The FreeBSD Foundation		2015-06-11 15:45:33 +00:00
..
OsdDebug.c
OsdHardware.c	Add basic support for ACPI. It splits out the nexus driver to two new	2015-06-11 15:45:33 +00:00
OsdInterrupt.c	Mark MALLOC_DEFINEs static that have no corresponding MALLOC_DECLAREs.	2011-11-07 06:44:47 +00:00
OsdMemory.c	Merge ACPICA 20120215.	2012-02-16 22:59:29 +00:00
OsdSchedule.c	Add sysctl to track the resource consumption of ACPI interrupts.	2014-10-01 14:35:52 +00:00
OsdStream.c
OsdSynch.c	Tidy up global locks for ACPICA. There is no functional change.	2013-08-13 21:34:03 +00:00
OsdTable.c	Merge ACPICA 20140926.	2014-10-02 19:11:18 +00:00