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_arm64.S

…

psci_arm.S

…

psci.c

…

psci.h

…