diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-05-18 16:53:31 +0100 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-05-20 15:29:03 +0100 |
| commit | d44863910c3e4021e13385c616d958f47faf7abc (patch) | |
| tree | 8228e7de6c2da6d84d04181eb67a328db82608e2 /include | |
| parent | d1d716531db8d52101d9168a79d4b6acaef976fe (diff) | |
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
Diffstat (limited to 'include')
| -rw-r--r-- | include/plat/common/platform.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 42260e9f..a08a12e4 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -56,7 +56,9 @@ struct image_desc; /******************************************************************************* * Mandatory common functions ******************************************************************************/ -unsigned long long plat_get_syscnt_freq(void); +unsigned long long plat_get_syscnt_freq(void) __deprecated; +unsigned int plat_get_syscnt_freq2(void); + int plat_get_image_source(unsigned int image_id, uintptr_t *dev_handle, uintptr_t *image_spec); |