Searched refs:gic_frequency (Results 1 – 1 of 1) sorted by relevance
21 static unsigned int gic_frequency; variable99 clockevents_config_and_register(cd, gic_frequency, 0x300, 0x7fffffff); in gic_clockevent_cpu_init()152 if (!gic_frequency) in gic_clockevent_init()238 gic_clocksource.rating += clamp(gic_frequency / 10000000, 0, 99); in __gic_clocksource_init()245 ret = clocksource_register_hz(&gic_clocksource, gic_frequency); in __gic_clocksource_init()272 gic_frequency = clk_get_rate(clk); in gic_clocksource_of_init()274 &gic_frequency)) { in gic_clocksource_of_init()304 gic_count_width, gic_frequency); in gic_clocksource_of_init()
Completed in 5 milliseconds