d44863910c
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 |
||
---|---|---|
.. | ||
aarch64 | ||
plat_bl1_common.c | ||
plat_gic.c | ||
plat_gicv2.c | ||
plat_gicv3.c |