Searched defs:counter_base_frequency (Results 1 – 9 of 9) sorted by relevance
70 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local110 unsigned int counter_base_frequency = get_sys_clk() / 4; in set_base_freq_CNTFID0() local
163 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
71 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local115 unsigned int counter_base_frequency = get_sys_clk()/4; in set_base_freq_CNTFID0() local
83 unsigned int counter_base_frequency = plat_get_syscnt_freq2(); in delay_timer_init() local
166 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
29 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
399 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
123 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
78 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local