Andrew Turner 2b5014f6fe 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.c	Add ACPI support to the PSCI driver. This checks the Fixed ACPI Description	2016-12-07 14:24:53 +00:00
psci.h	Create a new PSCI error code and use it to signal that starting the CPU is	2016-10-25 14:18:27 +00:00
psci_arm.S
psci_arm64.S