1*f000744eSPrasad Kummari /* 2*f000744eSPrasad Kummari * Copyright (c) 2023-2024, Advanced Micro Devices, Inc. All rights reserved. 3*f000744eSPrasad Kummari * 4*f000744eSPrasad Kummari * SPDX-License-Identifier: BSD-3-Clause 5*f000744eSPrasad Kummari */ 6*f000744eSPrasad Kummari #include <common/debug.h> 7*f000744eSPrasad Kummari #include <plat/common/platform.h> 8*f000744eSPrasad Kummari 9*f000744eSPrasad Kummari #include <platform_def.h> 10*f000744eSPrasad Kummari #include <plat_private.h> 11*f000744eSPrasad Kummari 12*f000744eSPrasad Kummari void set_cnt_freq(void) 13*f000744eSPrasad Kummari { 14*f000744eSPrasad Kummari uint64_t counter_freq; 15*f000744eSPrasad Kummari 16*f000744eSPrasad Kummari /* Configure counter frequency */ 17*f000744eSPrasad Kummari counter_freq = read_cntfrq_el0(); 18*f000744eSPrasad Kummari if (counter_freq == 0U) { 19*f000744eSPrasad Kummari write_cntfrq_el0(plat_get_syscnt_freq2()); 20*f000744eSPrasad Kummari } 21*f000744eSPrasad Kummari } 22