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)15unsigned 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)24const char *plat_log_get_prefix(unsigned int log_level) 25 { 26 return plat_prefix_str[log_level - 1U]; 27 } 28