Lines Matching refs:gic_read
45 static inline unsigned int gic_read(unsigned int reg) in gic_read() function
60 regval = gic_read(reg); in gic_update_bits()
118 hi = gic_read(GIC_REG(SHARED, GIC_SH_COUNTER_63_32)); in gic_read_count()
119 lo = gic_read(GIC_REG(SHARED, GIC_SH_COUNTER_31_00)); in gic_read_count()
120 hi2 = gic_read(GIC_REG(SHARED, GIC_SH_COUNTER_63_32)); in gic_read_count()
130 config = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_get_count_width()
164 hi = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_HI)); in gic_read_compare()
165 lo = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_LO)); in gic_read_compare()
175 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_start_count()
185 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_stop_count()
200 vpe_ctl = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_CTL)); in gic_local_irq_is_routable()
289 pending[i] = gic_read(pending_reg); in gic_handle_shared_int()
290 intrmask[i] = gic_read(intrmask_reg); in gic_handle_shared_int()
442 pending = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_PEND)); in gic_handle_local_int()
443 masked = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_MASK)); in gic_handle_local_int()
763 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in __gic_init()
795 timer_cpu_pin = gic_read(GIC_REG(VPE_LOCAL, in __gic_init()