Symbol: GIC_CONFIG_COUNTBITS
drivers/clocksource/mips-gic-timer.c
221
gic_count_width = read_gic_config() & GIC_CONFIG_COUNTBITS;
drivers/clocksource/mips-gic-timer.c
222
gic_count_width >>= __ffs(GIC_CONFIG_COUNTBITS);