Searched refs:gic_clocksource (Results 1 – 1 of 1) sorted by relevance
120 static struct clocksource gic_clocksource = { variable129 gic_clocksource.mask = CLOCKSOURCE_MASK(gic_get_count_width()); in __gic_clocksource_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()