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