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
..
aarch64	Add 32 bit version of plat_get_syscnt_freq	2016-05-20 15:29:03 +01:00
plat_bl1_common.c	FWU: Pass client cookie to FWU_SMC_UPDATE_DONE	2015-12-15 14:33:25 +00:00
plat_gic.c	Refactor fvp gic code to be a generic driver	2014-07-09 16:36:39 +01:00
plat_gicv2.c	Prepare platforms to use refactored ARM GIC drivers	2015-12-09 09:56:53 +00:00
plat_gicv3.c	Prepare platforms to use refactored ARM GIC drivers	2015-12-09 09:56:53 +00:00