Searched refs:gic_clocksource (Results 1 – 1 of 1) sorted by relevance
142 static struct clocksource gic_clocksource = { variable154 gic_clocksource.mask = CLOCKSOURCE_MASK(gic_get_count_width()); in __gic_clocksource_init()157 gic_clocksource.rating = 200 + gic_frequency / 10000000; in __gic_clocksource_init()159 ret = clocksource_register_hz(&gic_clocksource, gic_frequency); in __gic_clocksource_init()