Searched defs:counter_base_frequency (Results 1 – 9 of 9) sorted by relevance
137 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
67 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local107 unsigned int counter_base_frequency = get_sys_clk() / 4; in set_base_freq_CNTFID0() local
68 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local112 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
178 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
29 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
392 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
120 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
75 unsigned int counter_base_frequency; in plat_get_syscnt_freq2() local
