1 /*
2  * Copyright (c) 2015 - 2020, Broadcom
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <plat/common/platform.h>
8 
9 #include <platform_def.h>
10 
11 /*
12  * This function returns the fixed clock frequency at which private
13  * timers run. This value will be programmed into CNTFRQ_EL0.
14  */
plat_get_syscnt_freq2(void)15 unsigned int plat_get_syscnt_freq2(void)
16 {
17 	return SYSCNT_FREQ;
18 }
19 
20 static const char * const plat_prefix_str[] = {
21 	"E: ", "N: ", "W: ", "I: ", "V: "
22 };
23 
plat_log_get_prefix(unsigned int log_level)24 const char *plat_log_get_prefix(unsigned int log_level)
25 {
26 	return plat_prefix_str[log_level - 1U];
27 }
28