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
..
2016-09-22 15:17:36 +00:00
2016-10-24 20:47:46 +00:00
2016-10-24 05:10:35 +00:00
2016-07-22 03:09:47 +00:00
2016-08-03 01:19:10 +00:00
2016-10-21 23:50:02 +00:00
2016-10-24 20:47:46 +00:00