Searched refs:system_freq (Results 1 – 1 of 1) sorted by relevance
25 static unsigned int system_freq; variable211 if (system_freq == 0U) { in plat_get_syscnt_freq2()212 system_freq = fpga_get_system_frequency(); in plat_get_syscnt_freq2()215 return system_freq; in plat_get_syscnt_freq2()365 fpga_dtb_update_clock(fdt, system_freq); in fpga_prepare_dtb()