From d44863910c3e4021e13385c616d958f47faf7abc Mon Sep 17 00:00:00 2001 From: Antonio Nino Diaz Date: Wed, 18 May 2016 16:53:31 +0100 Subject: 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 --- bl31/aarch64/bl31_arch_setup.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bl31') diff --git a/bl31/aarch64/bl31_arch_setup.c b/bl31/aarch64/bl31_arch_setup.c index 0871b419..3deacbae 100644 --- a/bl31/aarch64/bl31_arch_setup.c +++ b/bl31/aarch64/bl31_arch_setup.c @@ -44,7 +44,7 @@ void bl31_arch_setup(void) { /* Program the counter frequency */ - write_cntfrq_el0(plat_get_syscnt_freq()); + write_cntfrq_el0(plat_get_syscnt_freq2()); /* Initialize the cpu_ops pointer. */ init_cpu_ops(); -- cgit v1.2.3