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

…