read_gic_config 170 drivers/clocksource/mips-gic-timer.c count_width = read_gic_config() & GIC_CONFIG_COUNTBITS; read_gic_config 721 drivers/irqchip/irq-mips-gic.c gicconfig = read_gic_config();