Searched refs:system_freq (Results 1 – 2 of 2) 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()
24 static unsigned int system_freq; variable210 if (system_freq == 0U) { in plat_get_syscnt_freq2()211 system_freq = fpga_get_system_frequency(); in plat_get_syscnt_freq2()214 return system_freq; in plat_get_syscnt_freq2()364 fpga_dtb_update_clock(fdt, system_freq); in fpga_prepare_dtb()