Searched refs:gic_frequency (Results 1 – 1 of 1) sorted by relevance
39 static unsigned int gic_frequency; variable116 gic_frequency = giccount; in estimate_frequencies()207 gic_frequency_dt = cpu_to_be32(gic_frequency); in update_gic_frequency_dt()245 freq = freqround(gic_frequency, 5000); in plat_time_init()