Searched refs:syscnt_freq_config_setup (Results 1 – 3 of 3) sorted by relevance
21 void syscnt_freq_config_setup(void);
136 void syscnt_freq_config_setup(void) in syscnt_freq_config_setup() function
124 syscnt_freq_config_setup(); in bl31_early_platform_setup2()