172 	u32 gicconfig;  in gic_start_count()  local
175 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_start_count()
176 	gicconfig &= ~(1 << GIC_SH_CONFIG_COUNTSTOP_SHF);  in gic_start_count()
177 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_start_count()
182 	u32 gicconfig;  in gic_stop_count()  local
185 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_stop_count()
186 	gicconfig |= 1 << GIC_SH_CONFIG_COUNTSTOP_SHF;  in gic_stop_count()
187 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_stop_count()
759 	unsigned int gicconfig;  in __gic_init()  local
763 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in __gic_init()
764 	gic_shared_intrs = (gicconfig & GIC_SH_CONFIG_NUMINTRS_MSK) >>  in __gic_init()
768 	gic_vpes = (gicconfig & GIC_SH_CONFIG_NUMVPES_MSK) >>  in __gic_init()