|
@@ -166,7 +166,7 @@ static int __init __gic_clocksource_init(void)
|
|
|
|
|
|
/* Set clocksource mask. */
|
|
/* Set clocksource mask. */
|
|
count_width = read_gic_config() & GIC_CONFIG_COUNTBITS;
|
|
count_width = read_gic_config() & GIC_CONFIG_COUNTBITS;
|
|
- count_width >>= __fls(GIC_CONFIG_COUNTBITS);
|
|
|
|
|
|
+ count_width >>= __ffs(GIC_CONFIG_COUNTBITS);
|
|
count_width *= 4;
|
|
count_width *= 4;
|
|
count_width += 32;
|
|
count_width += 32;
|
|
gic_clocksource.mask = CLOCKSOURCE_MASK(count_width);
|
|
gic_clocksource.mask = CLOCKSOURCE_MASK(count_width);
|