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

..

arm

Dump platform-defined regs in crash reporting

2016-04-14 17:50:22 +02:00

common

Add 32 bit version of plat_get_syscnt_freq

2016-05-20 15:29:03 +01:00