andrew 8b52b1c5b2 Add ACPI support to the PSCI driver. This checks the Fixed ACPI Description ... Table to find if the hardware supports PSCI, and if so what method the kernel should use to interact with it. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation		2016-12-07 14:24:53 +00:00
..
psci_arm64.S
psci_arm.S
psci.c	Add ACPI support to the PSCI driver. This checks the Fixed ACPI Description	2016-12-07 14:24:53 +00:00
psci.h