diff options
author | danh-arm <dan.handley@arm.com> | 2016-05-24 16:12:08 +0100 |
---|---|---|
committer | danh-arm <dan.handley@arm.com> | 2016-05-24 16:12:08 +0100 |
commit | e141aa0357fd4977ba874f4f86874e2cadc73498 (patch) | |
tree | cc01a644b84f7e07215a4920c3053ce4ddfb3f50 /docs | |
parent | d1d716531db8d52101d9168a79d4b6acaef976fe (diff) | |
parent | 6704f425ddb2772bd9a2b9dacacbefcbb00dcf28 (diff) |
Merge pull request #625 from antonio-nino-diaz-arm/an/delay-timer-v2
Implement generic delay timer and use it on platforms
Diffstat (limited to 'docs')
-rw-r--r-- | docs/porting-guide.md | 4 | ||||
-rw-r--r-- | docs/user-guide.md | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/docs/porting-guide.md b/docs/porting-guide.md index 5004d309..0cd36134 100644 --- a/docs/porting-guide.md +++ b/docs/porting-guide.md @@ -1529,10 +1529,10 @@ state. This function must return a pointer to the `entry_point_info` structure (that was copied during `bl31_early_platform_setup()`) if the image exists. It should return NULL otherwise. -### Function : plat_get_syscnt_freq() [mandatory] +### Function : plat_get_syscnt_freq2() [mandatory] Argument : void - Return : uint64_t + Return : unsigned int This function is used by the architecture setup code to retrieve the counter frequency for the CPU's generic timer. This value will be programmed into the diff --git a/docs/user-guide.md b/docs/user-guide.md index 2bb9eac4..cd9c8c33 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -492,6 +492,9 @@ map is explained in the [Firmware Design]. Trusted Firmware is configured for dual cluster topology and this option can be used to override the default value. +* `FVP_USE_SP804_TIMER` : Use the SP804 timer instead of the Generic Timer + for functions that wait for an arbitrary time length (udelay and mdelay). + The default value is 0. ### Debugging options |