Antonio Nino Diaz d44863910c Add 32 bit version of plat_get_syscnt_freq ... Added plat_get_syscnt_freq2, which is a 32 bit variant of the 64 bit plat_get_syscnt_freq. The old one has been flagged as deprecated. Common code has been updated to use this new version. Porting guide has been updated. Change-Id: I9e913544926c418970972bfe7d81ee88b4da837e		2016-05-20 15:29:03 +01:00
..
psci_common.c	PSCI: Resolve GCC static analysis false positive	2016-02-08 10:25:55 +00:00
psci_entry.S	Remove dashes from image names: 'BL3-x' --> 'BL3x'	2015-12-14 12:31:37 +00:00
psci_helpers.S	PSCI: Rework generic code to conform to coding guidelines	2015-08-13 23:48:07 +01:00
psci_main.c	Remove unused argument in psci_cpu_on_start()	2016-04-25 12:55:45 +01:00
psci_off.c	Fix PSCI CPU ON race when setting state to ON_PENDING	2016-02-01 14:52:30 +00:00
psci_on.c	Remove unused argument in psci_cpu_on_start()	2016-04-25 12:55:45 +01:00
psci_private.h	Remove unused argument in psci_cpu_on_start()	2016-04-25 12:55:45 +01:00
psci_setup.c	Make generic code work in presence of system caches	2015-09-14 22:09:40 +01:00
psci_suspend.c	Add 32 bit version of plat_get_syscnt_freq	2016-05-20 15:29:03 +01:00
psci_system_off.c	PSCI: Switch to the new PSCI frameworks	2015-08-13 23:47:57 +01:00