Searched refs:gic_get_count_width (Results 1 – 3 of 3) sorted by relevance
154 gic_clocksource.mask = CLOCKSOURCE_MASK(gic_get_count_width()); in __gic_clocksource_init()
258 extern unsigned int gic_get_count_width(void);
155 unsigned int gic_get_count_width(void) in gic_get_count_width() function