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();