tree 8228e7de6c2da6d84d04181eb67a328db82608e2
parent d1d716531db8d52101d9168a79d4b6acaef976fe
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463586811 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463754543 +0100

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