davidcunado-arm d6104f5ab4 Merge pull request #927 from jeenu-arm/state-switch ... Execution state switch		2017-05-11 16:04:52 +01:00
..
psci.h	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
psci_compat.h	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
psci_lib.h	Merge pull request #927 from jeenu-arm/state-switch	2017-05-11 16:04:52 +01:00