Searched refs:get_sys_clk (Results 1 – 4 of 4) sorted by relevance
54 static unsigned int get_sys_clk(void) in get_sys_clk() function72 counter_base_frequency = get_sys_clk() / 4; in plat_get_syscnt_freq2()110 unsigned int counter_base_frequency = get_sys_clk() / 4; in set_base_freq_CNTFID0()
55 unsigned int get_sys_clk(void) in get_sys_clk() function73 counter_base_frequency = get_sys_clk()/4; in plat_get_syscnt_freq2()115 unsigned int counter_base_frequency = get_sys_clk()/4; in set_base_freq_CNTFID0()
384 unsigned int get_sys_clk(void) in get_sys_clk() function
439 unsigned int get_sys_clk(void)435 unsigned int get_sys_clk(void) get_sys_clk() function