tree 599f1d5a6bec18bc5ce9f9964c0c4a0b6f0955eb
parent 7c151c4523668d2f502ef2b749666d2eb363c28a
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1389090078 +0000
committer Dan Handley <dan.handley@arm.com> 1394461079 +0000

Move architecture timer setup to platform-specific code

At present, bl1_arch_setup() and bl31_arch_setup() program the counter
frequency using a value from the memory mapped generic timer. The
generic timer however is not necessarily present on all ARM systems
(although it is architected to be present on all server systems).

This patch moves the timer setup to platform-specific code and updates
the relevant documentation. Also, CNTR.FCREQ is set as the specification
requires the bit corresponding to the counter's frequency to be set when
enabling. Since we intend to use the base frequency, set bit 8.

Fixes ARM-software/tf-issues#24

Change-Id: I32c52cf882253e01f49056f47c58c23e6f422652