Andrew Turner c2dd354bf4 Create a new PSCI error code and use it to signal that starting the CPU is ... impossible as the PSCI firmware is missing. Sponsored by: ABT Systmes Ltd		2016-10-25 14:18:27 +00:00
..
psci.c	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.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