1 /*
2  * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <plat/common/platform.h>
8 
plat_get_syscnt_freq2(void)9 unsigned int plat_get_syscnt_freq2(void)
10 {
11 	return 50000000;
12 }
13