Move `plat_get_syscnt_freq()` to arm_common.c
authorYatharth Kochar <yatharth.kochar@arm.com>
Thu, 14 Apr 2016 13:49:37 +0000 (14:49 +0100)
committerYatharth Kochar <yatharth.kochar@arm.com>
Thu, 21 Apr 2016 16:10:58 +0000 (17:10 +0100)
This patch moves the definition for `plat_get_syscnt_freq()`
from arm_bl31_setup.c to arm_common.c. This could be useful
in case a delay timer needs to be installed based on the
generic timer in other BLs.
This patch also modifies the return type for this function
from `uint64_t` to `unsigned long long` within ARM and other
platform files.

Change-Id: Iccdfa811948e660d4fdcaae60ad1d700e4eda80d

include/plat/common/platform.h
plat/arm/common/aarch64/arm_common.c
plat/arm/common/arm_bl31_setup.c
plat/mediatek/mt8173/aarch64/platform_common.c
plat/nvidia/tegra/include/tegra_private.h
plat/nvidia/tegra/soc/t132/plat_setup.c
plat/nvidia/tegra/soc/t210/plat_setup.c
plat/rockchip/common/aarch64/platform_common.c
plat/xilinx/zynqmp/aarch64/zynqmp_common.c

index 58575012ef67ddd15c7074aae50196016a0520f1..42260e9fec564de6390c4304aba78a55230165c8 100644 (file)
@@ -56,7 +56,7 @@ struct image_desc;
 /*******************************************************************************
  * Mandatory common functions
  ******************************************************************************/
-uint64_t plat_get_syscnt_freq(void);
+unsigned long long plat_get_syscnt_freq(void);
 int plat_get_image_source(unsigned int image_id,
                        uintptr_t *dev_handle,
                        uintptr_t *image_spec);
index 78b75b412896c82449cac063e9d3757376110221..74c65ed3388acd28744ef59408249c31ed463a7f 100644 (file)
@@ -29,6 +29,7 @@
  */
 #include <arch.h>
 #include <arch_helpers.h>
+#include <debug.h>
 #include <mmio.h>
 #include <plat_arm.h>
 #include <platform_def.h>
@@ -39,7 +40,7 @@ extern const mmap_region_t plat_arm_mmap[];
 /* Weak definitions may be overridden in specific ARM standard platform */
 #pragma weak plat_get_ns_image_entrypoint
 #pragma weak plat_arm_get_mmap
-
+#pragma weak plat_get_syscnt_freq
 
 /*******************************************************************************
  * Macro generating the code for the function setting up the pagetables as per
@@ -161,3 +162,17 @@ const mmap_region_t *plat_arm_get_mmap(void)
 {
        return plat_arm_mmap;
 }
+
+unsigned long long plat_get_syscnt_freq(void)
+{
+       unsigned long long counter_base_frequency;
+
+       /* Read the frequency from Frequency modes table */
+       counter_base_frequency = mmio_read_32(ARM_SYS_CNTCTL_BASE + CNTFID_OFF);
+
+       /* The first entry of the frequency modes table must not be 0 */
+       if (counter_base_frequency == 0)
+               panic();
+
+       return counter_base_frequency;
+}
index 8fcfa775648733d9daf6cc1e8e5ba13eeec431a6..8eb681802ccb8544ad946e2ad801f1f07c28a284 100644 (file)
@@ -34,7 +34,6 @@
 #include <assert.h>
 #include <bl_common.h>
 #include <console.h>
-#include <debug.h>
 #include <mmio.h>
 #include <plat_arm.h>
 #include <platform.h>
@@ -76,7 +75,6 @@ static entry_point_info_t bl33_image_ep_info;
 #pragma weak bl31_platform_setup
 #pragma weak bl31_plat_arch_setup
 #pragma weak bl31_plat_get_next_image_ep_info
-#pragma weak plat_get_syscnt_freq
 
 
 /*******************************************************************************
@@ -268,17 +266,3 @@ void bl31_plat_arch_setup(void)
 {
        arm_bl31_plat_arch_setup();
 }
-
-uint64_t plat_get_syscnt_freq(void)
-{
-       uint64_t counter_base_frequency;
-
-       /* Read the frequency from Frequency modes table */
-       counter_base_frequency = mmio_read_32(ARM_SYS_CNTCTL_BASE + CNTFID_OFF);
-
-       /* The first entry of the frequency modes table must not be 0 */
-       if (counter_base_frequency == 0)
-               panic();
-
-       return counter_base_frequency;
-}
index 23116f5da946f330fcd9aa8cbe2ba48e61eef955..d83e14743642925795b1f92650dd8ee788808224 100644 (file)
@@ -84,7 +84,7 @@ const mmap_region_t plat_mmap[] = {
 /* Define EL3 variants of the function initialising the MMU */
 DEFINE_CONFIGURE_MMU_EL(3)
 
-uint64_t plat_get_syscnt_freq(void)
+unsigned long long plat_get_syscnt_freq(void)
 {
        return SYS_COUNTER_FREQ_IN_TICKS;
 }
index 6fa943ffca666d11e0df68f8090d7c8c32b53005..fb47f48f9323f90e9f7bb81d43f47c17a8a10df0 100644 (file)
@@ -52,7 +52,7 @@ int32_t tegra_soc_validate_power_state(unsigned int power_state,
 
 /* Declarations for plat_setup.c */
 const mmap_region_t *plat_get_mmio_map(void);
-uint64_t plat_get_syscnt_freq(void);
+unsigned long long plat_get_syscnt_freq(void);
 
 /* Declarations for plat_secondary.c */
 void plat_secondary_setup(void);
index 6ff2831f6ce435caff3dac8125804b35086d8570..5b105057833a301239834f40ad77af8a0ae83173 100644 (file)
@@ -74,7 +74,7 @@ const mmap_region_t *plat_get_mmio_map(void)
        return tegra_mmap;
 }
 
-uint64_t plat_get_syscnt_freq(void)
+unsigned long long plat_get_syscnt_freq(void)
 {
        return 12000000;
 }
index 3fce8a2a51a4d1e7d6fb1880e6e7b966956d6ca0..eecedb3629aa710ec4194e2601e7872b48988abc 100644 (file)
@@ -80,7 +80,7 @@ const mmap_region_t *plat_get_mmio_map(void)
 /*******************************************************************************
  * Handler to get the System Counter Frequency
  ******************************************************************************/
-uint64_t plat_get_syscnt_freq(void)
+unsigned long long plat_get_syscnt_freq(void)
 {
        return 19200000;
 }
index 3f912a4f4ee0f5373005f36457f43e8913720782..ba4d1a41f8a6f9cf9e24ef9578f4df1a89f61215 100644 (file)
@@ -75,7 +75,7 @@ static const int cci_map[] = {
 /* Define EL3 variants of the function initialising the MMU */
 DEFINE_CONFIGURE_MMU_EL(3)
 
-uint64_t plat_get_syscnt_freq(void)
+unsigned long long plat_get_syscnt_freq(void)
 {
        return SYS_COUNTER_FREQ_IN_TICKS;
 }
index 0a878c30e4340870b6ba9d649f4a59df76b2f759..6e5cee310c9f705b6658e6a268af848e6669d931 100644 (file)
@@ -297,9 +297,9 @@ void zynqmp_config_setup(void)
        mmio_write_32(IOU_SCNTRS_CONTROL, IOU_SCNTRS_CONTROL_EN);
 }
 
-uint64_t plat_get_syscnt_freq(void)
+unsigned long long plat_get_syscnt_freq(void)
 {
-       uint64_t counter_base_frequency;
+       unsigned long long counter_base_frequency;
 
        /* FIXME: Read the frequency from Frequency modes table */
        counter_base_frequency = zynqmp_get_system_timer_freq();