Soby Mathew f426fc0519 PSCI: Introduce PSCI Library argument structure ... This patch introduces a `psci_lib_args_t` structure which must be passed into `psci_setup()` which is then used to initialize the PSCI library. The `psci_lib_args_t` is a versioned structure so as to enable compatibility checks during library initialization. Both BL31 and SP_MIN are modified to use the new structure. SP_MIN is also modified to add version string and build message as part of its cold boot log just like the other BLs in Trusted Firmware. NOTE: Please be aware that this patch modifies the prototype of `psci_setup()`, which breaks compatibility with EL3 Runtime Firmware (excluding BL31 and SP_MIN) integrated with the PSCI Library. Change-Id: Ic3761db0b790760a7ad664d8a437c72ea5edbcd6		2016-09-22 17:07:20 +01:00
..
psci.h	PSCI: Introduce PSCI Library argument structure	2016-09-22 17:07:20 +01:00
psci_compat.h	Introduce `el3_runtime` and `PSCI` libraries	2016-07-18 17:52:15 +01:00