Searched refs:gicconfig (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/drivers/irqchip/
H A Dirq-mips-gic.c172 u32 gicconfig; gic_start_count() local
175 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); gic_start_count()
176 gicconfig &= ~(1 << GIC_SH_CONFIG_COUNTSTOP_SHF); gic_start_count()
177 gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig); gic_start_count() local
182 u32 gicconfig; gic_stop_count() local
185 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); gic_stop_count()
186 gicconfig |= 1 << GIC_SH_CONFIG_COUNTSTOP_SHF; gic_stop_count()
187 gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig); gic_stop_count() local
759 unsigned int gicconfig; __gic_init() local
763 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); __gic_init()
764 gic_shared_intrs = (gicconfig & GIC_SH_CONFIG_NUMINTRS_MSK) >> __gic_init()
768 gic_vpes = (gicconfig & GIC_SH_CONFIG_NUMVPES_MSK) >> __gic_init()

Completed in 36 milliseconds