andrew d01cc693f9 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_arm64.S
psci_arm.S
psci.c
psci.h