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