Searched refs:gicconfig (Results 1 – 1 of 1) sorted by relevance
213 u32 gicconfig; in gic_start_count() local216 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() local226 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() local817 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in __gic_init()[all …]