Searched refs:gic_count_width (Results 1 – 1 of 1) sorted by relevance
22 static unsigned int gic_count_width; variable227 gic_count_width = read_gic_config() & GIC_CONFIG_COUNTBITS; in __gic_clocksource_init()228 gic_count_width >>= __ffs(GIC_CONFIG_COUNTBITS); in __gic_clocksource_init()229 gic_count_width *= 4; in __gic_clocksource_init()230 gic_count_width += 32; in __gic_clocksource_init()231 gic_clocksource.mask = CLOCKSOURCE_MASK(gic_count_width); in __gic_clocksource_init()304 gic_count_width, gic_frequency); in gic_clocksource_of_init()
Completed in 5 milliseconds