Searched refs:gic_frequency (Results 1 – 2 of 2) sorted by relevance
22 static unsigned int gic_frequency; variable72 clockevents_config_and_register(cd, gic_frequency, 0x300, 0x7fffffff); in gic_clockevent_cpu_init()103 if (!cpu_has_counter || !gic_frequency) in gic_clockevent_init()132 gic_clocksource.rating = 200 + gic_frequency / 10000000; in __gic_clocksource_init()134 clocksource_register_hz(&gic_clocksource, gic_frequency); in __gic_clocksource_init()144 gic_frequency = frequency; in gic_clocksource_init()161 gic_frequency = clk_get_rate(clk); in gic_clocksource_of_init()164 &gic_frequency)) { in gic_clocksource_of_init()
49 static unsigned int gic_frequency; variable110 gic_frequency = giccount; in estimate_frequencies()207 freq = freqround(gic_frequency, 5000); in plat_time_init()211 gic_clocksource_init(gic_frequency); in plat_time_init()