diff --git a/plat/xilinx/common/plat_clkfunc.c b/plat/xilinx/common/plat_clkfunc.c
index 80b8ab54e..8a8ea7e8e 100644
--- a/plat/xilinx/common/plat_clkfunc.c
+++ b/plat/xilinx/common/plat_clkfunc.c
@@ -4,11 +4,30 @@
  * SPDX-License-Identifier: BSD-3-Clause
  */
 #include <common/debug.h>
+#include <lib/mmio.h>
 #include <plat/common/platform.h>
 
 #include <platform_def.h>
 #include <plat_private.h>
 
+uint32_t plat_get_syscnt_freq2(void)
+{
+	uint32_t counter_freq = 0;
+	uint32_t ret = 0;
+
+	counter_freq = mmio_read_32(IOU_SCNTRS_BASE +
+				    IOU_SCNTRS_BASE_FREQ_OFFSET);
+	if (counter_freq != 0U) {
+		ret = counter_freq;
+	} else {
+		INFO("Indicates counter frequency %dHz setting to %dHz\n",
+		     counter_freq, cpu_clock);
+		ret = cpu_clock;
+	}
+
+	return ret;
+}
+
 void set_cnt_freq(void)
 {
 	uint64_t counter_freq;
diff --git a/plat/xilinx/versal/aarch64/versal_common.c b/plat/xilinx/versal/aarch64/versal_common.c
index 53571486d..772477fec 100644
--- a/plat/xilinx/versal/aarch64/versal_common.c
+++ b/plat/xilinx/versal/aarch64/versal_common.c
@@ -54,25 +54,6 @@ void versal_config_setup(void)
 	generic_delay_timer_init();
 }
 
-uint32_t plat_get_syscnt_freq2(void)
-{
-	uint32_t counter_freq = 0;
-	uint32_t ret = 0;
-
-	counter_freq = mmio_read_32(IOU_SCNTRS_BASE
-				    + IOU_SCNTRS_BASE_FREQ_OFFSET);
-
-	if (counter_freq != 0U) {
-		ret = counter_freq;
-	} else {
-		INFO("Indicates counter frequency %dHz setting to %dHz\n",
-		     counter_freq, cpu_clock);
-		ret = cpu_clock;
-	}
-
-	return ret;
-}
-
 void board_detection(void)
 {
 	uint32_t plat_info[2];
diff --git a/plat/xilinx/versal_net/aarch64/versal_net_common.c b/plat/xilinx/versal_net/aarch64/versal_net_common.c
index b4bc7d415..55c419831 100644
--- a/plat/xilinx/versal_net/aarch64/versal_net_common.c
+++ b/plat/xilinx/versal_net/aarch64/versal_net_common.c
@@ -149,20 +149,3 @@ void syscnt_freq_config_setup(void)
 		      IOU_SCNTRS_CONTROL_EN);
 }
 
-uint32_t plat_get_syscnt_freq2(void)
-{
-	uint32_t counter_freq = 0;
-	uint32_t ret = 0;
-
-	counter_freq = mmio_read_32(IOU_SCNTRS_BASE +
-				    IOU_SCNTRS_BASE_FREQ_OFFSET);
-	if (counter_freq != 0U) {
-		ret = counter_freq;
-	} else {
-		INFO("Indicates counter frequency %dHz setting to %dHz\n",
-		     counter_freq, cpu_clock);
-		ret  = cpu_clock;
-	}
-
-	return ret;
-}