213 	u32 gicconfig;  in gic_start_count()  local
216 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_start_count()
217 	gicconfig &= ~(1 << GIC_SH_CONFIG_COUNTSTOP_SHF);  in gic_start_count()
218 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_start_count()
223 	u32 gicconfig;  in gic_stop_count()  local
226 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_stop_count()
227 	gicconfig |= 1 << GIC_SH_CONFIG_COUNTSTOP_SHF;  in gic_stop_count()
228 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_stop_count()
811 	unsigned int gicconfig;  in __gic_init()  local
817 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in __gic_init()
818 	gic_shared_intrs = (gicconfig & GIC_SH_CONFIG_NUMINTRS_MSK) >>  in __gic_init()
822 	gic_vpes = (gicconfig & GIC_SH_CONFIG_NUMVPES_MSK) >>  in __gic_init()