Home
last modified time | relevance | path

Searched refs:gic_count_width (Results 1 – 1 of 1) sorted by relevance

/drivers/clocksource/
A Dmips-gic-timer.c22 static unsigned int gic_count_width; variable
227 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